package lutin

You can search for identifiers within the package.

in-package search v0.2.0

package lutin

ezdl
- Ezdl
gbddml
- Bdd
lutin
- LutinRun
lutin-utils
- LutinUtils
polka
- Matrix
- Polka
- PolkaIO
- Polka_lexer
- Polka_parser
- Poly
- Vector

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Overflow of string

type dimsup = {

pos : int;
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 =

| Egal
| SupEgal
| Sup

type gen =

| Vertex
| Ray
| Line