| Class | Description |
|---|---|
| Administrator |
Title: DECLARE
|
| BehavioralVacuityDetector | |
| ConstraintCollection |
Title: DECLARE
|
| ConstraintParser |
Title: DECLARE
|
| Correlations | |
| Declare2ltl | |
| DeclareExtensionOutput | |
| DeclareExtensionVisualization | |
| DeclareModelReducer | |
| DeclareTimeExtensionVisualization | |
| Event | |
| LTLGenerator | |
| MapsComparator | |
| MapsComparatorVisualization | |
| PrettyTime | |
| ProM | |
| PrunerCorrelationConfigurationPanel | |
| Role | |
| SimpleParser |
Title: DECLARE
|
| SlickerOpenDeclareModelExtension | |
| SlickerOpenDeclareModelTimeExtension | |
| TimeGranularityConfig | |
| User |
| Enum | Description |
|---|---|
| Event.Type |