diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 11:34:36 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 11:34:36 +0200 |
commit | 5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1 (patch) | |
tree | c03d6741f565f1ed5a5b27efb2c96a8d9a098581 /abstract/apron_domain.ml | |
parent | f04de3faad13a3904836dd1bd8c334b6634d60a4 (diff) | |
download | scade-analyzer-5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1.tar.gz scade-analyzer-5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1.zip |
Pretty printing.
Diffstat (limited to 'abstract/apron_domain.ml')
-rw-r--r-- | abstract/apron_domain.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/abstract/apron_domain.ml b/abstract/apron_domain.ml index ad483ec..d13afd7 100644 --- a/abstract/apron_domain.ml +++ b/abstract/apron_domain.ml @@ -12,6 +12,8 @@ module D : ENVIRONMENT_DOMAIN = struct type man = Polka.loose Polka.t let manager = Polka.manager_alloc_loose () + type itv = Interval.t + (* abstract elements *) type t = man Abstract1.t @@ -87,6 +89,9 @@ module D : ENVIRONMENT_DOMAIN = struct let vbottom x = Abstract1.bottom manager (Abstract1.env x) + let var_itv x id = + Abstract1.bound_variable manager x (Var.of_string id) + (* Apply some formula to the environment *) let rec apply_cl x (cons, rest) = let env = Abstract1.env x in @@ -139,5 +144,7 @@ module D : ENVIRONMENT_DOMAIN = struct let xx = Abstract1.forget_array manager x rm_vars false in print_all fmt xx + let print_itv = Interval.print + end |