Interface | Description |
---|---|
ICriteria | |
IDependencyGraphResolver |
Defines a method to calculate a
IDependencyGraph from DSETransformationRule s. |
IOccurrenceVectorResolver |
This interface defines a method which calculates an occurrence vector for the
DSETransformationRule s. |
IRuleApplicationChanger | |
IRuleApplicationNumberChanged |
Class | Description |
---|---|
ApplicationVectorUpdater | |
CriteriaContext | |
Guidance | |
PetriAbstractionResult | |
PetriAbstractionSolution | |
Predicate | |
RuleInfo |
Enum | Description |
---|---|
ICriteria.EvaluationResult | |
Predicate.EquationType |