Class defining the notion of interpretation product and sum
Class defining the notion of interpretation product and sum
the concrete value type
the collection choosen for gathering valuations
Extract the basic flow identifier from instance flow identifier
Extract the basic flow identifier from instance flow identifier
instance flow identifier
basic flow identifier
Extract the basic Boolean identifier from instance Boolean identifier
Extract the basic Boolean identifier from instance Boolean identifier
instance Boolean identifier
basic Boolean identifier
Transform a component interpretation of its input and output flows to a set of component traces
Transform a component interpretation of its input and output flows to a set of component traces
the interpretation of the component flows
the set of component traces
conversion from component trace to ordered one
conversion from component trace to ordered one
interpreter component trace
ordered component trace
Util implicit definition for interpreter