package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Error of string

the type of error exception

val precision : float Stdlib.ref

val max_iter : int Stdlib.ref

val max_depth : int Stdlib.ref

val max_sol : int Stdlib.ref

val domain : string Stdlib.ref

val boolean : string Stdlib.ref

val product : bool Stdlib.ref

val witness : bool Stdlib.ref

val split : string Stdlib.ref

val join : string Stdlib.ref

val minimizing : bool Stdlib.ref

val visualization : bool Stdlib.ref

val obj : bool Stdlib.ref

val tex : bool Stdlib.ref

val svg : bool Stdlib.ref

val trace : bool Stdlib.ref

val debug : int Stdlib.ref

val pruning : bool Stdlib.ref

val sure : bool Stdlib.ref

val iter : bool Stdlib.ref

val pruning_iter : int Stdlib.ref

val rewrite : bool Stdlib.ref

val step_by_step : bool Stdlib.ref

val pol_as_gen : bool Stdlib.ref

val set_debug_lv : int -> unit

val set_debug : unit -> unit

val set_prec : float -> unit

val set_max_iter : int -> unit

val set_max_depth : int -> unit

val set_pruning_iter : int -> unit

val set_max_sol : int -> unit

val set_split : string -> unit