MCPcopy Create free account
hub / github.com/ModelInference/synoptic / isTerminal

Method isTerminal

synoptic/src/synoptic/model/interfaces/INode.java:74–74  ·  view source on GitHub ↗

Whether or not this is the dummy terminal node.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

toCounterexampleMethod · 0.65
toStringMethod · 0.65
runCheckerMethod · 0.65
whichFailMethod · 0.65
getCounterExampleMethod · 0.65
recursivelyAddTracesToSetMethod · 0.65
getAllBoundedPredictedPathsHelperMethod · 0.65
isPredictedPathMethod · 0.65
exportGraphMethod · 0.65
buildLTSMethod · 0.65
EvBasedGraphMethod · 0.65
splittablePartitionsTestMethod · 0.65

Implementers 3

Partitionsynoptic/src/synoptic/model/Partition.
EventNodesynoptic/src/synoptic/model/EventNode.
Actionsynoptic/src/synoptic/model/testgenera

Calls

no outgoing calls

Tested by 12

splittablePartitionsTestMethod · 0.52
getPartitionsMethod · 0.52
completeRefinementTestMethod · 0.52
refinementTestCommonMethod · 0.52
IntrByRefinementTestMethod · 0.52
IntrByRefinementNoSplitTestMethod · 0.52
IntrByRefinementPartSplitTestMethod · 0.52
exportSyntheticTracesTestMethod · 0.52
createAnonMethod · 0.52
createNamedMethod · 0.52
createConsistentAnonInitMethod · 0.52
createConsistentAnonIntermediateMethod · 0.52