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


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

Builds an instance from a list of bindings


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


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


val to_string : t -> string

Conversion to a string