package aez

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module X : Sig.X

module P : sig ... end

Signature

type t

type r = X.r

val empty : unit -> t

val assume : t -> r Sig.input list -> t * r Sig.result

val query : t -> r Sig.input -> Sig.answer

val case_split : t -> (r Literal.view * Explanation.t * Num.num) list

val add : t -> r -> t