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

Interface IGraph

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

This is the interface all graphs have to provide. It requires the notions of relations, initial nodes, and terminal nodes. @param the class of a node in a graph

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 31

runCheckerMethod · 0.65
extractInvariantsFromTCMethod · 0.65
computeInvariantsMethod · 0.65
PartitionGraphMethod · 0.65
exportGraphMethod · 0.65
buildLTSMethod · 0.65
makeLogJSONMethod · 0.65
makePartitionsJSONMethod · 0.65
AllRelationsTransitiveClosureMethod · 0.65
computeInvariantsMethod · 0.65
computeTransClosureInvariantsMethod · 0.65
PartitionGraphMethod · 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

no test coverage detected