package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Polka

exception Overflow of string
type dimsup = {
  1. pos : int;
  2. nbdims : int;
}
val strict : bool ref
val dec : int ref
val print_limit : int ref
val initialize : strict:bool -> maxdims:int -> maxrows:int -> unit
val finalize : unit -> unit
val set_gc : int -> unit
val set_widening_affine : unit -> unit
val set_widening_linear : unit -> unit
val denominator_of_list : (Big_int.big_int * Big_int.big_int * string) list -> Big_int.big_int
val to_constraint : (int -> string) -> (int -> Big_int.big_int) -> int -> string
val to_frame : (int -> string) -> (int -> Big_int.big_int) -> int -> string
val to_expr : (int -> string) -> (int -> Big_int.big_int) -> int -> string
val print_list : Format.formatter -> (unit, Format.formatter, unit) format -> (unit, Format.formatter, unit) format -> (unit, Format.formatter, unit) format -> (Format.formatter -> 'a -> unit) -> 'a list -> unit
type cons =
  1. | Egal
  2. | SupEgal
  3. | Sup
type gen =
  1. | Vertex
  2. | Ray
  3. | Line