public class PetriAbstractionSolution
extends java.lang.Object
Constructor and Description |
---|
PetriAbstractionSolution(java.util.Map<DSETransformationRule<?,?>,java.lang.Integer> occurrence,
java.util.List<DSETransformationRule<?,?>> trajectory) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<DSETransformationRule<?,?>,java.lang.Integer> |
getOccurrence() |
java.util.List<DSETransformationRule<?,?>> |
getTrajectory() |
public PetriAbstractionSolution(java.util.Map<DSETransformationRule<?,?>,java.lang.Integer> occurrence, java.util.List<DSETransformationRule<?,?>> trajectory)
public java.util.Map<DSETransformationRule<?,?>,java.lang.Integer> getOccurrence()
public java.util.List<DSETransformationRule<?,?>> getTrajectory()