public interface IOccurrenceVectorResolver
DSETransformationRule
s. Basically
it is lower bound for the how many times they should be executed.Modifier and Type | Method and Description |
---|---|
PetriAbstractionResult |
calculateOccurrenceVector(java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences,
java.util.Map<? extends org.eclipse.emf.ecore.EModelElement,java.lang.Integer> initialMarking,
java.util.Set<DSETransformationRule<?,?>> transformations,
java.util.List<Predicate> predicates)
Calculates an occurrence vector for the
DSETransformationRule s. |
PetriAbstractionResult calculateOccurrenceVector(java.util.List<? extends org.eclipse.emf.ecore.EModelElement> classesAndReferences, java.util.Map<? extends org.eclipse.emf.ecore.EModelElement,java.lang.Integer> initialMarking, java.util.Set<DSETransformationRule<?,?>> transformations, java.util.List<Predicate> predicates)
DSETransformationRule
s.eList
- initialMarking
- The initial marking.transformations
- The DSETransformationRule
s.targetMarking
- The targetMarking.