public class RPSTTreeWrapper
extends java.lang.Object
Constructor and Description |
---|
RPSTTreeWrapper(EncPNWSetFinalMarkings codec)
Default constructor, based on encoded petri net
|
Modifier and Type | Method and Description |
---|---|
RPSTNodeWSiblings |
getRPSTNodeWSiblings(int source,
int target)
get node (with its sibling information) return null if no RPST node is
found
|
java.util.Set<java.lang.Integer> |
getSuccessorBond(RPSTNodeWSiblings bondNode)
get transitions that need to be executed if the bondNode is visited
|
public RPSTTreeWrapper(EncPNWSetFinalMarkings codec) throws java.lang.Exception
codec
- java.lang.Exception
public RPSTNodeWSiblings getRPSTNodeWSiblings(int source, int target)
source
- target
- public java.util.Set<java.lang.Integer> getSuccessorBond(RPSTNodeWSiblings bondNode)
bondNode
-