interpreter.TraceInterpreter.InterpreterImplicits
An interpretation (ie a set of valuation)
Compute an interpretation obtained by applying a function f taking valuation of this interpretation and another interpretation
Compute an interpretation obtained by applying a function f taking valuation of this interpretation and another interpretation
the type of the other concrete values
the type of the concrete values generated by f
another interpretation
the function generating the new concrete values
can build a collection T of D valuations from a collection Set of A valuations
the resulting interpretation
Compute the union of the valuation of this interpretation and the one of another interpretation
Compute the union of the valuation of this interpretation and the one of another interpretation
another interpration
can build a collection T of A valuations from a collection Set of A valuations
the resulting interpretation
Class defining the notion of interpretation product and sum
the concrete value type
the collection choosen for gathering valuations