public class BehaviorCounter
extends java.lang.Object
Constructor and Description |
---|
BehaviorCounter(BehaviorCounter behC) |
BehaviorCounter(int candidateSize)
Instantiates a new (empty) behavior counter to be filled (mainly) by the
FitnessReplay
fitness metric. |
BehaviorCounter(int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.HashMap<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelMove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
getAlignment(nl.tue.astar.Trace trace)
Returns the alignment for a particular trace
|
java.util.Map<nl.tue.astar.Trace,TreeRecord> |
getAlignments() |
int[] |
getASyncMoveCount() |
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
getMarking2ModelMove()
The Marking to Model move map records for all markings (which is a set of
enabled nodes, the marking, and the sequence of nodes followed to get to
the marking), the set of model moves that have been made from this
marking (considering model moves and synchronous moves).
|
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> |
getMarking2VisitCount()
The Marking to Visit Count map records for all markings (which is a set
of enabled nodes, the marking, and the sequence of nodes followed to get
to the marking) how often it was visited while replaying the entire log
(considering model moves and synchronous moves).
|
int |
getMinModelCost() |
int[] |
getMoveCount() |
int[] |
getSyncMoveCount() |
boolean |
isAlignmentSet()
Returns TRUE if there is alignment inforamtion available, otherwise
returns false.
|
boolean |
isSet()
Returns true if moves are recorded
|
void |
setAlignments(java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
void |
setASyncMoveCount(int[] aSyncMoveCount) |
void |
setMarking2ModelMove(java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2ModelMove) |
void |
setMarking2VisitCount(gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2VisitCount) |
void |
setMinModelCost(int minModelCost) |
void |
setMoveCount(int[] moveCount) |
void |
setSyncMoveCount(int[] syncMoveCount) |
java.lang.String |
toString() |
public BehaviorCounter(int candidateSize)
FitnessReplay
fitness metric.candidateSize
- public BehaviorCounter(int[] syncMoveCount, int[] aSyncMoveCount, int[] moveCount, java.util.HashMap<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelMove, gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount, java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments)
public BehaviorCounter(BehaviorCounter behC)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isSet()
public int[] getSyncMoveCount()
public int[] getASyncMoveCount()
public int[] getMoveCount()
public void setSyncMoveCount(int[] syncMoveCount)
syncMoveCount
- the syncMoveCount to setpublic void setASyncMoveCount(int[] aSyncMoveCount)
aSyncMoveCount
- the aSyncMoveCount to setpublic void setMoveCount(int[] moveCount)
moveCount
- the moveCount to setpublic java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> getMarking2ModelMove()
public gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> getMarking2VisitCount()
public void setMarking2ModelMove(java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2ModelMove)
marking2modelMove
- the marking2modelMove to setpublic void setMarking2VisitCount(gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2VisitCount)
marking2visitCount
- the marking2visitCount to setpublic java.util.Map<nl.tue.astar.Trace,TreeRecord> getAlignments()
public TreeRecord getAlignment(nl.tue.astar.Trace trace)
trace
- public void setAlignments(java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments)
alignments
- the alignments to setpublic boolean isAlignmentSet()
public int getMinModelCost()
public void setMinModelCost(int minModelCost)
minModelCost
- the minModelCost to set