Job (UPPAAL model library)

```
public interface Job
```
Author:

marius

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void error(java.lang.Throwable e)
  
  void run(Engine engine)

Method Detail

run

void run(Engine engine)
  throws java.lang.Exception

Throws:: java.lang.Exception

error
```
void error(java.lang.Throwable e)
```