package libabsolute

  1. Overview
  2. Docs
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