Method getBadStates

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

Returns the bad states for all invariants that augment this CFSM.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

toScmStringMethod · 0.95

augmentWithAFbyMethod · 0.80

augmentWithNFbyMethod · 0.80

augmentWithAPMethod · 0.80

newListMethod · 0.95

getAcceptStatesMethod · 0.95

containsMethod · 0.80

indexOfMethod · 0.80

getLocalEventScmStringsMethod · 0.80

someSynthEventsQReMethod · 0.80

addMethod · 0.65

isEmptyMethod · 0.45

addAllMethod · 0.45

sizeMethod · 0.45

scmBadStateQReMethod · 0.45

augmentWithAFbyMethod · 0.64

augmentWithNFbyMethod · 0.64

augmentWithAPMethod · 0.64