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

Method tagInitial

synoptic/src/synoptic/model/TraceGraph.java:151–154  ·  view source on GitHub ↗

Mark initialNode as initial with respect to relation by creating a transition from the dummy initial node to this node. @param initialNode the node to mark as initial @param relation the relation with respect to which the node should be initial

(EventNode initialNode, Set<String> relations)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 9

addNodesToGraphMethod · 0.45
addNodesToGraphMethod · 0.45
constructorSimpleTestMethod · 0.45
isReachableTestMethod · 0.45
getTestMethod · 0.45
getRelationsTestMethod · 0.45
listConstructorTestMethod · 0.45
twoRelationsTCTestMethod · 0.45

Calls 2

containsMethod · 0.80
addTransitionMethod · 0.45

Tested by 9

addNodesToGraphMethod · 0.36
addNodesToGraphMethod · 0.36
constructorSimpleTestMethod · 0.36
isReachableTestMethod · 0.36
getTestMethod · 0.36
getRelationsTestMethod · 0.36
listConstructorTestMethod · 0.36
twoRelationsTCTestMethod · 0.36