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, waitgetInitialMarking, replaceTransitions, setFinalMarkings, setInitialMarkingprotected boolean createConn
protected boolean guiMode
protected nl.tue.astar.AStarThread.Canceller canceller
public boolean isCreatingConn()
isCreatingConn in interface IPNReplayParameterpublic boolean isGUIMode()
isGUIMode in interface IPNReplayParameterpublic void setGUIMode(boolean value)
setGUIMode in interface IPNReplayParameterpublic void setCreateConn(boolean value)
setCreateConn in interface IPNReplayParameterpublic nl.tue.astar.AStarThread.Canceller getCanceller()
getCanceller in interface IPNReplayParameterpublic void setCanceller(nl.tue.astar.AStarThread.Canceller canceller)
public int getNumThreads()
getNumThreads in interface IPNReplayParameterpublic void setNumThreads(int numThreads)
setNumThreads in interface IPNReplayParameter