From d4ab85a1a6503cdbcb98c183c3357926d78da8a7 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 19:04:38 +0200
Subject: implement assert, print

---
 abstract/environment_domain.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'abstract/environment_domain.ml')

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
 
 
-- 
cgit v1.2.3