package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

package libabsolute

libabsolute
- Library libabsolute
  - Libabsolute
    
    Csp
    
    Constraint
    
    Expr
    
    Dom
    
    Instance
    
    Parser
    
    Signature
    
    Numeric
    
    Domain
    
    Domains
    
    B
    
    Make
    
    D1
    
    Make
    
    D2
    
    Make
    
    BoxF
    
    BoxS
    
    ApronBox
    
    Poly
    
    Oct
    
    Boolean
    
    Make
    
    Utree
    
    Make
    
    Product
    
    Make
    
    Solver
    
    Make
    
    Consistency
    
    Result
    
    Constant
    
    Ring
    
    T
    
    Q
    
    F
    
    I
    
    Polynom
    
    Make
    
    Int
    
    Float
    
    Rational
    
    Tools
    
    VarMap
    
    VarSet
    
    Kleene
- Sources
  - libabsolute
    
    libabsolute.ml
    
    libabsolute__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Libabsolute.Solver`

Functor parametrized by an abstract domain and defines the three main solving functions

module Make (D : Signature.Domain) : sig ... end