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

Method getCFSM

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

Constructs a CFSM from a GFSM. It performs the necessary traversal of the GFSM to construct/specify all the process FSMs that should be part of the CFSM. @param minimize - whether to minimize each of the process FSMs @return

(boolean minimize)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 9

deepEqualsMethod · 0.95
runMethod · 0.95
testMultipleInvRefineMethod · 0.95
checkInvsRefineGFSMMethod · 0.80
parallelizerStartKMethod · 0.80
parallelizerStartOneMethod · 0.80
checkMultipleInvsRefineGFSMMethod · 0.80
exportIntermediateModelsMethod · 0.80
gfsmToCFSMMethod · 0.80

Calls 15

toStringMethod · 0.95
newSetMethod · 0.95
newMapMethod · 0.95
isAcceptForPidMethod · 0.95
isInitForPidMethod · 0.95
isInitialMethod · 0.95
findNonPidTransitiveClosureMethod · 0.95
setAcceptMethod · 0.95
addTransitionMethod · 0.95
findTransitiveClosureMethod · 0.95
findBisimularFSMStateMethod · 0.95
remapPredTxnsMethod · 0.95

Tested by 2

testMultipleInvRefineMethod · 0.76
gfsmToCFSMMethod · 0.64