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