Map type associating system events to its Z3 variables
DSL representation of flow valuation ie set of basic flow constants
Type resulting for the mixin of all kind of configuration analysers
Map type associating BDD variable index (representing events) to their probability
concrete implementation of Real numbers used for probabilistic computations must be set to spire Rational for testing and to Double for performances
Representation of a trace given by Z3 ie a model of system's flows
implicit object for implicit conversion based on spire rational
generic Real builder depending on Real implementation