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.ASynchronousMoveSorting |
getAsynchronousMoveSort() |
nl.tue.astar.AStarThread.Canceller |
getCanceller() |
double |
getEpsilon() |
double |
getExpectedAlignmentOverrun() |
int |
getNumThreads() |
nl.tue.astar.AStarThread.QueueingModel |
getQueueingModel() |
nl.tue.astar.AStarThread.Type |
getType() |
boolean |
isCreatingConn()
Return true if connections need to be made after replay is finished
|
boolean |
isGUIMode()
Return true if GUI is used
|
void |
setAsynchronousMoveSort(nl.tue.astar.AStarThread.ASynchronousMoveSorting sort) |
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 |
setEpsilon(double epsilon) |
void |
setExpectedAlignmentOverrun(double expectedAlignmentOverrun) |
void |
setGUIMode(boolean value)
value is true if later the algorithm is expected to give GUI notification
|
void |
setNumThreads(int numThreads) |
void |
setQueueingModel(nl.tue.astar.AStarThread.QueueingModel model) |
void |
setType(nl.tue.astar.AStarThread.Type type) |
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 IPNReplayParameterpublic void setQueueingModel(nl.tue.astar.AStarThread.QueueingModel model)
setQueueingModel in interface IPNReplayParameterpublic void setAsynchronousMoveSort(nl.tue.astar.AStarThread.ASynchronousMoveSorting sort)
setAsynchronousMoveSort in interface IPNReplayParameterpublic void setType(nl.tue.astar.AStarThread.Type type)
setType in interface IPNReplayParameterpublic void setEpsilon(double epsilon)
setEpsilon in interface IPNReplayParameterpublic void setExpectedAlignmentOverrun(double expectedAlignmentOverrun)
setExpectedAlignmentOverrun in interface IPNReplayParameterpublic nl.tue.astar.AStarThread.QueueingModel getQueueingModel()
getQueueingModel in interface IPNReplayParameterpublic nl.tue.astar.AStarThread.ASynchronousMoveSorting getAsynchronousMoveSort()
getAsynchronousMoveSort in interface IPNReplayParameterpublic nl.tue.astar.AStarThread.Type getType()
getType in interface IPNReplayParameterpublic double getEpsilon()
getEpsilon in interface IPNReplayParameterpublic double getExpectedAlignmentOverrun()
getExpectedAlignmentOverrun in interface IPNReplayParameter