Transformations.SimplifyExpression
Simple expression rewrites using queries (x + 0 -> x and others). This domain isn't complete: it will rewrite things like x = x -> 1 which can cause problems if x contains a division by 0.
Its command line id is E
.
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