Package com.uppaal.engine
Interface Job
-
public interface Job
- Author:
- marius
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
error(Throwable e)
void
run(Engine engine)
-
public interface Job
Modifier and Type | Method | Description |
---|---|---|
void |
error(Throwable e) |
|
void |
run(Engine engine) |