package libabsolute

  1. Overview
  2. Docs

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

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 : Stdlib.Format.formatter -> t -> unit

printer

val to_string : t -> string

Conversion to a string