diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-07 19:04:38 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-07 19:04:38 +0200 |
| commit | d4ab85a1a6503cdbcb98c183c3357926d78da8a7 (patch) | |
| tree | b28ac764dd21ca7225ee46c6f4a4686648511fa3 /abstract/environment_domain.ml | |
| parent | 9ccef2c0850b73bf3d92f26bfa0aeacf933e1d17 (diff) | |
| download | SemVerif-Projet-d4ab85a1a6503cdbcb98c183c3357926d78da8a7.tar.gz SemVerif-Projet-d4ab85a1a6503cdbcb98c183c3357926d78da8a7.zip | |
implement assert, print
Diffstat (limited to 'abstract/environment_domain.ml')
| -rw-r--r-- | abstract/environment_domain.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/abstract/environment_domain.ml b/abstract/environment_domain.ml index f5614fe..254f755 100644 --- a/abstract/environment_domain.ml +++ b/abstract/environment_domain.ml @@ -6,6 +6,7 @@ module type ENVIRONMENT_DOMAIN = sig (* construction *) val init : t val bottom : t + val is_bot : t -> bool (* variable management *) val addvar : t -> id -> t @@ -22,6 +23,10 @@ module type ENVIRONMENT_DOMAIN = sig (* order *) val subset : t -> t -> bool + + (* pretty-printing *) + val var_str : t -> id list -> string + val all_vars_str : t -> string end |