Module Domains.Term_domain

type pretty_terms =

1. | Value
   (*

   Only print numeric constraint value, default option

   *)
2. | Symbolic
   (*

   Print associated symbolic term with each variable

   *)
3. | Both
   (*

   Print both symbolic term and value

   *)
4. | Relation
   (*

   Same as above, but also print labeled union-find relations

   *)

val set_pretty_terms : pretty_terms -> unit

Set display mode. Default is Value. Should be called before Make.

module Make (Terms : Terms.Sig.TERMS) (_ : Term_based_sig.Domain_S with module Terms = Terms) : Sig.BASE_WITH_INTEGER with type binary = Operator.Function_symbol.binary Terms.t and type boolean = Operator.Function_symbol.boolean Terms.t and type enum = Operator.Function_symbol.enum Terms.t