package ocplib-simplex

  1. Overview
  2. Docs

The interface for values of variable and bounds provided by users.

type t = R.t

type of rationnal numbers

val zero : t
val one : t
val m_one : t
val sign : t -> int
val compare : t -> t -> int
val equal : t -> t -> bool
val is_zero : t -> bool
val add : t -> t -> t
val sub : t -> t -> t
val is_int : t -> bool
val print : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val min : t -> t -> t
val minus : t -> t
val floor : t -> t
val ceiling : t -> t
type r = R.t
val mult_by_coef : t -> r -> t
val div_by_coef : t -> r -> t