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 Dummy : sig ... end

Signature

type state

val get_time : unit -> float

val get_calls : unit -> int

val clear : unit -> unit

val assume : ?profiling:bool -> id:int -> Formula.t -> unit

val check : ?profiling:bool -> unit -> unit

val save_state : unit -> state

val restore_state : state -> unit

val entails : ?profiling:bool -> id:int -> Formula.t -> bool