Interpretation cache key
Interpretation cache key
the component instance ident
the BDD encoding the system events occurences for which it has been interpreted
Class encoding instance identifiers which can be ordered
Class encoding instance identifiers which can be ordered
Class encoding of component traces which can be ordered
Class encoding of component traces which can be ordered
Class encoding scala Symbol that can be compared
Class encoding scala Symbol that can be compared
Util implicit definition for interpreter
Companion object for ordered instance identifiers
Companion object for ordered instance identifiers
Companion object of component traces
Companion object of component traces
Companion object for ordered symbols
Companion object for ordered symbols
Order over flow identifiers
Order over flow identifiers
Order over constants
Order over constants
Order over instance identifiers in a system component
Order over instance identifiers in a system component
Convert a conjunction of system events to a BDD
Convert a conjunction of system events to a BDD
positive litterals
negative litterals
the resulting BDD
Compute the possible interpretations of the component instances
Compute the possible interpretations of the component instances
the interpretation of system components
Compute the possible interpretations of the component instances and focus on the interpretation that are produced for the combinations of system event encoded in the BDD
Compute the possible interpretations of the component instances and focus on the interpretation that are produced for the combinations of system event encoded in the BDD
the BDD of system event
mapping from system event to BDD nodes
the interpretation of system components
Generate the possible traces for a component
Generate the powerset of the set of value given in a type declaration
implicit transformation from Symbol to Ordered Symbol
implicit transformation from Symbol to Ordered Symbol
Scala Symbol
ordered symbol
Interpreter of the KCR language