package alt-ergo-lib

  1. Overview
  2. Docs

Module AltErgoLib.ProfilingSource

Sourcetype t
Sourceval init : unit -> unit
Sourceval decision : int -> string -> unit
Sourceval assume : int -> unit
Sourceval query : unit -> unit
Sourceval instantiation : int -> unit
Sourceval instances : 'a list -> unit
Sourceval bool_conflict : unit -> unit
Sourceval theory_conflict : unit -> unit
Sourceval bcp_conflict : bool -> bool -> unit
Sourceval red : bool -> unit
Sourceval elim : bool -> unit
Sourceval reset_dlevel : int -> unit
Sourceval reset_ilevel : int -> unit
Sourceval new_instance_of : string -> Expr.t -> Loc.t -> bool -> unit
Sourceval conflicting_instance : string -> Loc.t -> unit
Sourceval register_produced_terms : string -> Loc.t -> Expr.Set.t -> Expr.Set.t -> Expr.Set.t -> Expr.Set.t -> unit
Sourceval print : bool -> int64 -> Timers.t -> Format.formatter -> unit
Sourceval switch : unit -> unit