case classValuation[A](value: A, valid: BDD) extends Product with Serializable
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
the type of the concrete value
value
the concrete value
valid
the system event BDD
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
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