package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Domains.Term_domainSource

Sourcetype 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

    *)
Sourceval set_pretty_terms : pretty_terms -> unit

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