| Class | Description |
|---|---|
| Administrator |
Title: DECLARE
|
| ConstraintCollection |
Title: DECLARE
|
| ConstraintParser |
Title: DECLARE
|
| Declare2ltl | |
| Event | |
| LTLGenerator | |
| MapsComparator | |
| MapsComparatorVisualization | |
| PrettyTime | |
| ProM | |
| Role | |
| SimpleParser |
Title: DECLARE
|
| User |
| Enum | Description |
|---|---|
| Event.Type |