Module AltErgoLib.Profiling
val decision : int -> string -> unit
val instantiation : int -> unit
val instances : 'a list -> unit
val bool_conflict : unit -> unit
val theory_conflict : unit -> unit
val bcp_conflict : bool -> bool -> unit
val reset_dlevel : int -> unit
val reset_ilevel : int -> unit
val new_instance_of : string -> Expr.t -> Loc.t -> bool -> unit
val conflicting_instance : string -> Loc.t -> unit
val register_produced_terms :
string ->
Loc.t ->
AltErgoLib.Expr.Set.t ->
AltErgoLib.Expr.Set.t ->
AltErgoLib.Expr.Set.t ->
AltErgoLib.Expr.Set.t ->
unit
val print : bool -> int -> Timers.t -> Stdlib.Format.formatter -> unit
val switch : Stdlib.Format.formatter -> unit