Method toScmString

csight/src/csight/model/fifosys/cfsm/CFSM.java:466–518 · view source on GitHub ↗

Generate SCM representation of this CFSM, with bad states if this CFSM was augmented with any invariants.

(String cfsmName)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

checkInvsRefineGFSMMethod · 0.95

runMethod · 0.45

verifyAndPrintMethod · 0.45

scmStringMethod · 0.45

augmentWithAFbyMethod · 0.45

augmentWithNFbyMethod · 0.45

augmentWithAPMethod · 0.45

scmStringMethod · 0.45

toScmStringMethod · 0.95

getBadStatesMethod · 0.95

getScmIdMethod · 0.80

toScmParametersStringMethod · 0.80

addMethod · 0.65

getMethod · 0.65

toStringMethod · 0.65

sizeMethod · 0.45

isEmptyMethod · 0.45

verifyAndPrintMethod · 0.36

scmStringMethod · 0.36

augmentWithAFbyMethod · 0.36

augmentWithNFbyMethod · 0.36

augmentWithAPMethod · 0.36

scmStringMethod · 0.36