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

Method add

synoptic/src/synoptic/model/interfaces/IGraph.java:53–53  ·  view source on GitHub ↗

Add the node the graph @param node the node to add

(NodeType node)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

addMethod · 0.65
getAllCounterExamplesMethod · 0.65
outputToFileMethod · 0.65
getPredicatesMethod · 0.65
FsmStateSetMethod · 0.65
copyMethod · 0.65
ConstrainedTracingSetMethod · 0.65
transitionMethod · 0.65
getMinMaxTransitionsMethod · 0.65
toCounterexampleMethod · 0.65
toCounterexampleMethod · 0.65
runCheckerMethod · 0.65

Implementers 3

TraceGraphsynoptic/src/synoptic/model/TraceGraph
PartitionGraphsynoptic/src/synoptic/model/PartitionG
AbstractTestCasesynoptic/src/synoptic/model/testgenera

Calls

no outgoing calls

Tested by 15

addTransitionMethod · 0.52
getAllSuccessorsMethod · 0.52
AbstractTestCaseMethod · 0.52
addMethod · 0.52
deriveAbstractTestsMethod · 0.52
stringsToStringEventTypesMethod · 0.52
stringsToDistEventTypesMethod · 0.52
getLogEventPathMethod · 0.52
setUpMethod · 0.52
buildForkDAGMethod · 0.52
buildComplexForkDAGMethod · 0.52
buildTwoSourcesDAGMethod · 0.52