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

Method run

InvariMint/src/model/EncodedAutomaton.java:69–75  ·  view source on GitHub ↗

Returns true if the given sequence of Strings are accepted by this model.

(List<EventType> events)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 5

osxLogFileTestMethod · 0.95
simpleLogTestMethod · 0.95
simpleModelTestAPMethod · 0.95
simpleModelTestNIFbyMethod · 0.95
simpleModelTestAFbyMethod · 0.95

Calls 3

runMethod · 0.65
toStringMethod · 0.65
getEncodingMethod · 0.45

Tested by 5

osxLogFileTestMethod · 0.76
simpleLogTestMethod · 0.76
simpleModelTestAPMethod · 0.76
simpleModelTestNIFbyMethod · 0.76
simpleModelTestAFbyMethod · 0.76