public class AllKnotSamplingOptAlignmentsGraphCountAlg extends AllKnotSamplingOptAlignmentsGraphAlg
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphResthreadsclassifier, 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, recordToResultgetDelegate, replayLogaddReplayResults, extractAllHistorycompareEventClassList, getLinearTrace, getPartiallyOrderedTracepublic AllKnotSamplingOptAlignmentsGraphCountAlg()
public java.lang.String toString()
toString in interface IPNMatchInstancesLogReplayAlgorithmtoString in class AllKnotSamplingOptAlignmentsGraphAlgpublic java.lang.String getHTMLInfo()
IPNMatchInstancesLogReplayAlgorithmgetHTMLInfo in interface IPNMatchInstancesLogReplayAlgorithmgetHTMLInfo in class AllKnotSamplingOptAlignmentsGraphAlgprotected boolean isRepresentedCounted()
AllKnotSamplingOptAlignmentsGraphAlgisRepresentedCounted in class AllKnotSamplingOptAlignmentsGraphAlg