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

Method isSingleton

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

Returns true if all partitions of the GFSM contain only one observed fifo state

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 5

testIsSingletonMethod · 0.95
checkInvsRefineGFSMMethod · 0.45
checkInvsRefineGFSMParallelMethod · 0.45
processUnsafeModelResultMethod · 0.45
checkMultipleInvsRefineGFSMMethod · 0.45

Calls

no outgoing calls

Tested by 1

testIsSingletonMethod · 0.76