hub / github.com/ModelInference/synoptic / deepEquals

Method deepEquals

csight/src/csight/model/fifosys/gfsm/GFSM.java:937–1030 · view source on GitHub ↗

A stricter equality check against another GFSM. This is equality check is for states and the transitions, but not any observed states. Two GFSMs are equal if they can be traversed the same way. There are several limitations to this check. This check assumes that you only have one

(GFSM otherGFSM)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

testIsDeepEqualMethod · 0.95

testMultipleInvRefineMethod · 0.95

Calls 15

getCFSMMethod · 0.95

newSetMethod · 0.95

newListMethod · 0.95

getInitStatesForPidMethod · 0.95

newPairMethod · 0.95

isAcceptForPidMethod · 0.95

isInitForPidMethod · 0.95

getTransitioningEventsMethod · 0.95

getNextStatesMethod · 0.95

nextMethod · 0.80

containsMethod · 0.80

equalsMethod · 0.65

Tested by 2

testIsDeepEqualMethod · 0.76

testMultipleInvRefineMethod · 0.76