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

Method getLeft

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

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 10

augmentInvariantMethod · 0.45
transitionEqualityMethod · 0.45
dataMethod · 0.45
composeArgsMethod · 0.45
equalsMethod · 0.45
compareMethod · 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