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

Method getNodes

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

Get all nodes in this graph @return the set of nodes in the graph.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

runCheckerMethod · 0.65
extractInvariantsFromTCMethod · 0.65
computeInvariantsMethod · 0.65
PartitionGraphMethod · 0.65
exportGraphMethod · 0.65
buildLTSMethod · 0.65
makeLogJSONMethod · 0.65
makePartitionsJSONMethod · 0.65
EvBasedGraphMethod · 0.65
createInitialPartitionGraphMethod · 0.65
normalizeTraceGraphMethod · 0.65
exportGraphMethod · 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 14

getChainTraceGraphNodesInOrderMethod · 0.52
getChainTraceGraphNodesInOrderMethod · 0.52
integerNormalizationTestMethod · 0.52
floatNormalizationTestCommonMethod · 0.52
getPartitionsMethod · 0.52
stitchDetectionTestAFbyAPCommonMethod · 0.52
stitchDetectionTestIntrByCommonMethod · 0.52
getSplitsTestCommonMethod · 0.52
completeRefinementTestMethod · 0.52
refinementTestCommonMethod · 0.52
IntrByRefinementTestMethod · 0.52
IntrByRefinementNoSplitTestMethod · 0.52