package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Constructors
Operations
Printing

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

This module defines the type of points (also called instances), i.e mappings from variables to rational coordinates.

type t = Q.t Tools.VarMap.t

the instance type

Constructors

val of_list : (string * Mpqf.t) list -> t

Builds an instance from a list of bindings

Operations

val translate : t -> t -> t

Translation of an instance by a vector. translate i v builds the point corresponding the translation of i by v. Useful for gradient descent techniques

val to_apron_gen : t -> Apron.Generator1.t

conversion to apron generator

Printing

val print : Format.formatter -> t -> unit

printer

val to_string : t -> string

Conversion to a string