hub / github.com/ModelInference/synoptic / getEType

Method getEType

synoptic/src/synoptic/model/interfaces/INode.java:25–25 · view source on GitHub ↗

Returns the label of the node. NOTE: This call is used by the LTLChecker to retrieve the canonical representation of the event type. @return the node's label

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

toStringMethod · 0.65

NFShortenMethod · 0.65

APShortenMethod · 0.65

shortenMethod · 0.65

getInputInvariantsDependenciesMethod · 0.65

getInputCopyMethod · 0.65

setInitialMethod · 0.65

transitionMethod · 0.65

setInitialMethod · 0.65

transitionMethod · 0.65

setInitialMethod · 0.65

Implementers 3

Partitionsynoptic/src/synoptic/model/Partition.

EventNodesynoptic/src/synoptic/model/EventNode.

Actionsynoptic/src/synoptic/model/testgenera

Calls

no outgoing calls

Tested by 15

convertPathToAbstractTestMethod · 0.52

splittablePartitionsTestMethod · 0.52

integerNormalizationTestMethod · 0.52

floatNormalizationTestCommonMethod · 0.52

getPartitionsMethod · 0.52

testPartitionGraphCExampleMethod · 0.52

initStateSetMethod · 0.52

stitchDetectionTestAFbyAPCommonMethod · 0.52

stitchDetectionTestIntrByCommonMethod · 0.52

getSplitsTestCommonMethod · 0.52

completeRefinementTestMethod · 0.52

refinementTestCommonMethod · 0.52