diff options
Diffstat (limited to 'abstract/enum_domain_edd.ml')
| -rw-r--r-- | abstract/enum_domain_edd.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/abstract/enum_domain_edd.ml b/abstract/enum_domain_edd.ml index ae71b09..3e03d59 100644 --- a/abstract/enum_domain_edd.ml +++ b/abstract/enum_domain_edd.ml @@ -3,6 +3,10 @@ open Formula open Util open Enum_domain +(* + Implementation of a more powerfull domain for enumerate constraints, + based on decision graphs (BDD). +*) module EDD : ENUM_ENVIRONMENT_DOMAIN = struct exception Top |