package aez

You can search for identifiers within the package.

in-package search v0.2.0

aez
- Aez
  - Arith
    
    Make
    
    C
    
    P
    
    Rel
    
    Type
  - Cc
    
    Make
    
    TimerCC
    
    S
    
    TimerCC
  - Combine
  - Exception
  - Explanation
  - Fm
    
    EXTENDED_Polynome
    
    Make
    
    P
  - Hashcons
    
    HashedType
    
    HashedType_consed
    
    Make
    
    H
    
    Make_consed
    
    H
    
    S
    
    S_consed
  - Heap
    
    Make
    
    X
    
    OrderType
    
    S
  - Hstring
    
    H
    
    HMap
    
    HSet
  - Iheap
  - Intervals
  - Literal
    
    LT
    
    Map
    
    Set
    
    Make
    
    Map
    
    Set
    
    X
    
    OrderedType
    
    S
    
    Map
    
    Set
    
    S_Term
    
    Map
    
    Set
  - Polynome
    
    Make
    
    X
    
    S
    
    T
  - Smt
    
    Formula
    
    Make
    
    Dummy
    
    Solver
    
    Symbol
    
    Term
    
    Type
    
    Variant
  - Solver
    
    Make
    
    Dummy
  - Solver_types
    
    Debug
    
    Make
    
    Dummy
  - Sum
    
    ALIEN
    
    Rel
    
    Make
    
    Rel
    
    X
    
    Rel
  - Symbols
    
    Map
    
    Set
  - Term
    
    Map
    
    Set
  - Timer
    
    Make
    
    X
    
    S
  - Ty
  - Uf
    
    Make
    
    R
    
    Rel
    
    S
  - Use
    
    Make
    
    S
    
    SA
    
    ST
    
    T
  - Vec

Legend:
Library
Module
Module type
Parameter
Class
Class type

type comparator =

| Eq
| Neq
| Le
| Lt

type combinator =

| And
| Or
| Imp
| Not

type t =

| Lit of Literal.LT.t
| Comb of combinator * t list

val f_true : t

val f_false : t

val make_lit : comparator -> Term.t list -> t

val make : combinator -> t list -> t

val make_cnf : t -> Literal.LT.t list list

val print : Format.formatter -> t -> unit