package libabsolute

  1. Overview
  2. Docs

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 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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct