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 ref

val max_iter : int ref

val max_depth : int ref

val max_sol : int ref

val domain : string ref

val boolean : string ref

val product : bool ref

val witness : bool ref

val split : string ref

val join : string ref

val minimizing : bool ref

val visualization : bool ref

val obj : bool ref

val tex : bool ref

val svg : bool ref

val trace : bool ref

val debug : int ref

val pruning : bool ref

val sure : bool ref

val iter : bool ref

val pruning_iter : int ref

val rewrite : bool ref

val step_by_step : bool ref

val pol_as_gen : bool 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