public class RPSTConsultant
extends java.lang.Object
Constructor and Description |
---|
RPSTConsultant(RPSTTreeWrapper rpst)
Default constructor
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.deckfour.xes.classification.XEventClass> |
getImpossibleSuccessors(java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
Get xevent class that could have never occur, given a marking
Status: not implemented yet
|
java.util.Map<java.lang.Integer,java.lang.Integer> |
getRequiredSuccessors(java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN)
public method to get required successors (XEventClass), given a marking
|
public RPSTConsultant(RPSTTreeWrapper rpst)
rpst
- public java.util.Map<java.lang.Integer,java.lang.Integer> getRequiredSuccessors(java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN)
encMarking
- mapInt2Marking
- encodedPN
- mapEncTrans2EvClass
- public java.util.Set<org.deckfour.xes.classification.XEventClass> getImpossibleSuccessors(java.lang.Integer encMarking, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
encMarking
- mapInt2Marking
- encodedPN
- mapEncTrans2EvClass
-