Module Libabsolute.Instance

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 iter : (string -> Q.t -> unit) -> t -> unit

iterates through variablez and their coordinante *

val to_seq : t -> (string * Q.t) Stdlib.Seq.t

conversion to sequence *

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