type representing an interpretation of a Boolean
type representing a component interpreation as a mapping from its flow to their interpretation
type representing a component trace as a valuation of its flows
type representing the component traces a a set of component trace
type representing a mapping from system flows to their interpretation
type representing an interpretation of a flow
type representing a valuation of a constant
A valuation for the interpreter is a couple of a concrete value and a valid BDD encoding the system event valuations for which the concrete value is observed
A valuation for the interpreter is a couple of a concrete value and a valid BDD encoding the system event valuations for which the concrete value is observed
the type of the concrete value
the concrete value
the system event BDD