diff options
Diffstat (limited to 'abstract/environment_domain.ml')
| -rw-r--r-- | abstract/environment_domain.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/abstract/environment_domain.ml b/abstract/environment_domain.ml index 5dbd08f..8b2ee34 100644 --- a/abstract/environment_domain.ml +++ b/abstract/environment_domain.ml @@ -16,11 +16,6 @@ module type ENVIRONMENT_DOMAIN = sig val vars : t -> (id * bool) list val vbottom : t -> t (* bottom value with same environment *) - (* abstract operation *) - val apply_f : t -> bool_expr -> t - val apply_cl : t -> conslist -> t - val assign : t -> (id * num_expr) list -> t - (* set-theoretic operations *) val join : t -> t -> t (* union *) val meet : t -> t -> t (* intersection *) @@ -30,6 +25,11 @@ module type ENVIRONMENT_DOMAIN = sig val subset : t -> t -> bool val eq : t -> t -> bool + (* abstract operation *) + val apply_f : t -> bool_expr -> t + val apply_cl : t -> conslist -> t + val assign : t -> (id * num_expr) list -> t + (* pretty-printing *) val print_vars : Format.formatter -> t -> id list -> unit val print_all : Format.formatter -> t -> unit |