public class AllKnotSamplingOptAlignmentsGraphCountAlg extends AllKnotSamplingOptAlignmentsGraphAlg
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes
threads
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, MAPTRANSTOCOST, MAPXEVENTCLASSTOCOST, MAXEXPLOREDINSTANCES, maxNumOfStates, queuedStates, traversedArcs, visitedStates
Constructor and Description |
---|
AllKnotSamplingOptAlignmentsGraphCountAlg() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
protected boolean |
isRepresentedCounted()
True if the number of represented optimal alignments per alignments is
also computed Setting this to true leads to much more expensive
computation
|
java.lang.String |
toString() |
constructResult, countOptimalAlignments, getThread, recordToResult
getDelegate, replayLog
addReplayResults, extractAllHistory
compareEventClassList, getLinearTrace, getPartiallyOrderedTrace
public AllKnotSamplingOptAlignmentsGraphCountAlg()
public java.lang.String toString()
toString
in interface IPNMatchInstancesLogReplayAlgorithm
toString
in class AllKnotSamplingOptAlignmentsGraphAlg
public java.lang.String getHTMLInfo()
IPNMatchInstancesLogReplayAlgorithm
getHTMLInfo
in interface IPNMatchInstancesLogReplayAlgorithm
getHTMLInfo
in class AllKnotSamplingOptAlignmentsGraphAlg
protected boolean isRepresentedCounted()
AllKnotSamplingOptAlignmentsGraphAlg
isRepresentedCounted
in class AllKnotSamplingOptAlignmentsGraphAlg