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

Method getRight

synoptic/src/synoptic/util/Pair.java:17–19  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 9

augmentInvariantMethod · 0.45
transitionEqualityMethod · 0.45
dataMethod · 0.45
composeArgsMethod · 0.45
equalsMethod · 0.45
sortMethod · 0.45
deepEqualsMethod · 0.45
testCheckInvsRefineGFSMWithNonSingletonMethod · 0.45
testCheckMultipleInvsRefineGFSMWithNonSingletonMethod · 0.45

Calls

no outgoing calls

Tested by 4

dataMethod · 0.36
composeArgsMethod · 0.36
testCheckInvsRefineGFSMWithNonSingletonMethod · 0.36
testCheckMultipleInvsRefineGFSMWithNonSingletonMethod · 0.36