Method size

synoptic/src/synoptic/model/Partition.java:187–190 · view source on GitHub ↗

Returns the number of event nodes this partition contains.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

NFShortenMethod · 0.45

numInvariantsMethod · 0.45

getAllCounterExamplesMethod · 0.45

compareMethod · 0.45

APShortenMethod · 0.45

shortenMethod · 0.45

getRegexMethod · 0.45

transitionMethod · 0.45

FsmStateSetMethod · 0.45

mergeWithMethod · 0.45

isSubsetMethod · 0.45

copyMethod · 0.45

no outgoing calls

getRelationsMethod · 0.36

convertPathToAbstractTestMethod · 0.36

runTestsMethod · 0.36

getChainTraceGraphNodesInOrderMethod · 0.36

genRandomLogMethod · 0.36

checkStateMethod · 0.36

mineConstraintSizeMethod · 0.36

splittablePartitionsTestMethod · 0.36

performKTails0TestMethod · 0.36

performKTails1TestMethod · 0.36

performKTails2TestMethod · 0.36

getChainTraceGraphNodesInOrderMethod · 0.36