Package com.uppaal.engine

Interface Job

  • public interface Job
    Author:
    marius

    • Method Summary

      Modifier and Type Method Description
      void error​(Throwable e)  
      void run​(Engine engine)