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, 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
public void setQueueingModel(nl.tue.astar.AStarThread.QueueingModel model)
setQueueingModel
in interface IPNReplayParameter
public void setAsynchronousMoveSort(nl.tue.astar.AStarThread.ASynchronousMoveSorting sort)
setAsynchronousMoveSort
in interface IPNReplayParameter
public void setType(nl.tue.astar.AStarThread.Type type)
setType
in interface IPNReplayParameter
public void setEpsilon(double epsilon)
setEpsilon
in interface IPNReplayParameter
public void setExpectedAlignmentOverrun(double expectedAlignmentOverrun)
setExpectedAlignmentOverrun
in interface IPNReplayParameter
public nl.tue.astar.AStarThread.QueueingModel getQueueingModel()
getQueueingModel
in interface IPNReplayParameter
public nl.tue.astar.AStarThread.ASynchronousMoveSorting getAsynchronousMoveSort()
getAsynchronousMoveSort
in interface IPNReplayParameter
public nl.tue.astar.AStarThread.Type getType()
getType
in interface IPNReplayParameter
public double getEpsilon()
getEpsilon
in interface IPNReplayParameter
public double getExpectedAlignmentOverrun()
getExpectedAlignmentOverrun
in interface IPNReplayParameter