Intervals_rel.ReductionSourcemodule R = Relational.DomainGet a list of variables related numerically to v
val get_modified_vars :
Mopsa.stmt ->
('a, 'b) Mopsa.Sig.Reduction.Simplified.simplified_reduction_man ->
'a Core.All.ctx ->
'b ->
Ast.Var.var listGet the list of modified variables
val reduce :
Mopsa.stmt ->
('b, 'a) Mopsa.Sig.Reduction.Simplified.simplified_reduction_man ->
'b Core.All.ctx ->
'a ->
'a ->
'aReduction operator