package ocplib-simplex

  1. Overview
  2. Docs

Module OcplibSimplex.Rat2Source

A representation of rationals bound, which is a pair of rationals:

  • the raw value of the bound
  • an epsilon used as an offset for representing strict bounds.

For example, for the inequality x < 3, the upper bound of x will be represented by 3 - Ɛ, where Ɛ is a positive integer that will be calculated later.

Sourcemodule type SIG = sig ... end
Sourcemodule Make (R : ExtSigs.Rationals) : SIG with module R = R