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)