package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package libabsolute

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module D : Signature.Domain

Signature

val coverage : ?verbose:bool -> float -> int -> Csp.t -> D.t Result.t

coverage of the solution space

val satisfiability : ?verbose:bool -> float -> int -> Csp.t -> Kleene.t

satisfiability check

val witness : ?verbose:bool -> float -> int -> Csp.t -> Consistency.feasible

satisfiability check, with witness