Transformations.Query
Simplification via simple queries. This functor is often inlined for efficiency, as in Product.ClassicalQueryLeft
or Numeric.ClassicalQuery
.
Its command line id is Q
.
type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
module Domain
(S : Sig.Classical_Domain with type relation = relation_out) :
Sig.Classical_Domain
with module State = S.State
and module StateSet = S.StateSet
and type relation = relation_in
The actual transformation functor