package alt-ergo-lib

You can search for identifiers within the package.

in-package search v0.2.0

alt-ergo-lib
- AltErgoLib
  - Ac
    
    Make
    
    X
    
    S
  - Adt
    
    ALIEN
    
    Shostak
    
    X
  - Adt_rel
  - Arith
    
    Shostak
    
    P
    
    Ints
    
    X
    
    Type
    
    Ints
    
    X
  - Arrays_rel
  - Bitlist
  - Bitv
    
    ALIEN
    
    Shostak
    
    X
  - Bitv_rel
  - Ccx
    
    Main
    
    S
  - Cnf
  - Commands
  - Compat
    
    List
    
    Seq
    
    String
    
    Type
    
    Id
  - D_cnf
  - D_loop
    
    Header
    
    Parser
    
    Pipeline
    
    State
    
    Typer
    
    Ext
    
    Typer_Pipe
  - D_state_option
    
    Accessor
    
    Mode
    
    ProduceAssignment
    
    S
    
    SatSolver
    
    SatSolverModule
    
    Steps
    
    StrictMode
  - Domains
    
    Make
    
    D
    
    Ephemeral
    
    Canon
    
    Entry
    
    Entry
    
    NF
    
    Atom
    
    Composite
    
    W
  - Domains_intf
    
    ComparableType
    
    Domain
    
    EntryNotation
    
    EphemeralDomainMap
    
    Entry
    
    NormalForm
    
    Atom
    
    Composite
    
    OrderedType
    
    S
    
    Ephemeral
    
    Canon
    
    Entry
    
    Entry
    
    NF
    
    Atom
    
    Composite
  - Emap
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Errors
  - Explanation
  - Expr
    
    ArraysEx
    
    BV
    
    Core
    
    Ints
    
    Reals
  - Fpa_rounding
  - Frontend
    
    Make
    
    SAT
    
    S
  - Fun_sat
    
    Make
    
    _
  - Fun_sat_frontend
    
    Make
    
    _
  - Gc_debug
  - Hconsing
    
    HASHED
    
    Make
    
    H
    
    S
  - Heap
    
    MakeOrdered
    
    V
    
    MakeRanked
    
    Rank
    
    OrderedTypeDefault
    
    RankedType
  - Hstring
  - Id
    
    Namespace
    
    Abstract
    
    Internal
    
    S
    
    Skolem
  - Inequalities
    
    Container_SIG
    
    Make
    
    MINEQS
    
    P
    
    Ints
    
    FM
    
    MINEQS
    
    P
    
    Ints
    
    S
    
    MINEQS
    
    P
    
    Ints
  - Input
    
    S
  - Instances
    
    Make
    
    X
    
    S
  - IntervalCalculus
  - Intervals
    
    Int
    
    Interval
    
    Legacy
    
    Real
    
    Interval
  - Intervals_core
    
    Make
    
    Ex
    
    Union
    
    Interval
    
    OT
  - Intervals_intf
    
    AlgebraicField
    
    Interval
    
    AlgebraicType
    
    Core
    
    Union
    
    Interval
    
    OT
    
    EuclideanRing
    
    Interval
    
    EuclideanType
    
    Explanations
    
    Field
    
    Interval
    
    FieldType
    
    Interval
    
    OrderedType
    
    Ring
    
    Interval
    
    RingType
    
    Union
    
    Interval
  - Ite_rel
  - Literal
    
    Make
    
    Sem
    
    S
  - Loc
  - Matching
    
    Arg
    
    Make
    
    X
    
    S
  - Matching_types
  - ModelMap
  - Models
  - My_list
  - My_unix
  - My_zip
  - Nest
  - Numbers
    
    Q
    
    Z
  - Objective
    
    Function
    
    Model
    
    Value
  - Options
    
    Output
    
    Sources
    
    Time
  - Parsed
  - Parsed_interface
  - Polynome
    
    EXTENDED_Polynome
    
    Ints
    
    Make
    
    Ints
    
    X
    
    S
    
    T
    
    Ints
  - Printer
  - Profiling
  - Records
    
    ALIEN
    
    Shostak
    
    X
  - Records_rel
  - Rel_utils
    
    Delayed
    
    HLR
    
    XComparable
  - Relation
  - Sat_solver
  - Sat_solver_sig
    
    S
    
    SatContainer
    
    Make
    
    _
  - Satml
    
    Make
    
    Th
    
    SAT_ML
  - Satml_frontend
    
    Make
    
    _
  - Satml_frontend_hybrid
    
    Make
    
    _
  - Satml_types
    
    ATOM
    
    Atom
    
    FLAT_FORMULA
    
    Flat_Formula
    
    Proxy_formula
  - Shostak
    
    Ac
    
    Adt
    
    Arith
    
    Bitv
    
    Combine
    
    L
    
    Literal
    
    Polynome
    
    Ints
    
    Records
  - Sig
    
    SHOSTAK
    
    X
  - Sig_rel
    
    RELATION
  - Steps
  - Symbols
  - Th_util
  - Theories
    
    Set
  - Theory
    
    Main_Default
    
    Main_Empty
    
    S
  - Timers
  - Ty
  - Typechecker
  - Typed
  - Uf
    
    GlobalDomain
    
    GlobalDomains
  - Uid
  - Uqueue
    
    Make
    
    S
  - Use
  - Util
  - Var
    
    Map
  - Vec
  - Version
  - Xliteral
    
    Make
    
    X
    
    OrderedType
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Unix wrapper

This module defines some wrappers around Unix function, in order to more easily maintain compatibility when compiling to javascript.

val cur_time : unit -> float

Returns the current time. *

val set_timeout : float -> unit

Set a timeout, using Unix timers. No-op on javascript.

val unset_timeout : unit -> unit

Unset the previously set timer.