package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.56-fix.tgz

sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5

md5=282c7b3d0fa57385a6b4395239bc8e13

doc/polka/Polka/index.html

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