package lutin

You can search for identifiers within the package.

in-package search v0.2.0

package lutin

lutin
- Library ezdl
  - Ezdl
- Library gbddml
  - Bdd
- Library lutin
  - LutinRun
- Library lutin-utils
  - LutinUtils
- Library lutin.bddrand
  - BddRandom
  - Dimacs
- Library polka
  - Matrix
  - Polka
  - PolkaIO
  - Polka_lexer
  - Polka_parser
  - Poly
  - Vector
- Sources
  - gbddml
    
    bdd.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Polka`

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

package lutin

Module Polka

Module `Polka`