public abstract class AbstractDefaultPNReplayParam extends java.lang.Object implements IPNReplayParameter
Modifier and Type | Field and Description |
---|---|
protected nl.tue.astar.AStarThread.Canceller |
canceller |
protected boolean |
createConn |
protected boolean |
guiMode |
Constructor and Description |
---|
AbstractDefaultPNReplayParam() |
Modifier and Type | Method and Description |
---|---|
nl.tue.astar.AStarThread.Canceller |
getCanceller() |
int |
getNumThreads() |
boolean |
isCreatingConn()
Return true if connections need to be made after replay is finished
|
boolean |
isGUIMode()
Return true if GUI is used
|
void |
setCanceller(nl.tue.astar.AStarThread.Canceller canceller) |
void |
setCreateConn(boolean value)
value is true if the replay result of the algorithm is expected to be
visualized
|
void |
setGUIMode(boolean value)
value is true if later the algorithm is expected to give GUI notification
|
void |
setNumThreads(int numThreads) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getInitialMarking, replaceTransitions, setFinalMarkings, setInitialMarking
protected boolean createConn
protected boolean guiMode
protected nl.tue.astar.AStarThread.Canceller canceller
public boolean isCreatingConn()
isCreatingConn
in interface IPNReplayParameter
public boolean isGUIMode()
isGUIMode
in interface IPNReplayParameter
public void setGUIMode(boolean value)
setGUIMode
in interface IPNReplayParameter
public void setCreateConn(boolean value)
setCreateConn
in interface IPNReplayParameter
public nl.tue.astar.AStarThread.Canceller getCanceller()
getCanceller
in interface IPNReplayParameter
public void setCanceller(nl.tue.astar.AStarThread.Canceller canceller)
public int getNumThreads()
getNumThreads
in interface IPNReplayParameter
public void setNumThreads(int numThreads)
setNumThreads
in interface IPNReplayParameter