org.eclipse.viatra.dse.guidance

Interfaces

• ICriteria
• IDependencyGraphResolver
• IOccurrenceVectorResolver
• IRuleApplicationChanger
• IRuleApplicationNumberChanged

Classes

• ApplicationVectorUpdater
• CriteriaContext
• Guidance
• PetriAbstractionResult
• PetriAbstractionSolution
• Predicate
• RuleInfo

Enums

• ICriteria.EvaluationResult
• Predicate.EquationType