Module `AltErgoLib.Timers`Source

Sourcetype ty_module =

| M_None
| M_Typing
| M_Sat
| M_Match
| M_CC
| M_UF
| M_Arith
| M_Arrays
| M_Sum
| M_Records
| M_AC
| M_Expr
| M_Triggers
| M_Simplex

Sourcetype ty_function =

| F_add
| F_add_lemma
| F_add_predicate
| F_add_terms
| F_are_equal
| F_assume
| F_class_of
| F_leaves
| F_make
| F_m_lemmas
| F_m_predicates
| F_query
| F_solve
| F_subst
| F_union
| F_unsat
| F_none
| F_new_facts
| F_apply_subst
| F_instantiate

Sourcetype t

environment of internal timers *

Sourceval empty : unit -> t

return a new empty env *

Sourceval reset : t -> unit

reset the given env to empty

Sourceval start : t -> ty_module -> ty_function -> unit

save the current timer and start the timer "ty_module x ty_function" *

Sourceval pause : t -> ty_module -> ty_function -> unit

pause the timer "ty_module x ty_function" and restore the former timer *

Sourceval update : t -> unit

update the value of the current timer *

Sourceval get_value : t -> ty_module -> ty_function -> float

get the value of the timer "ty_module x ty_function" *

Sourceval get_sum : t -> ty_module -> float

get the sum of the "ty_function" timers for the given "ty_module" *

Sourceval current_timer : t -> ty_module * ty_function * int

Sourceval string_of_ty_module : ty_module -> string

Sourceval string_of_ty_function : ty_function -> string

Sourceval get_stack : t -> (ty_module * ty_function * int) list

Sourceval get_timers_array : t -> float array array

Sourceval mtag : ty_module -> int

Sourceval ftag : ty_function -> int

Sourceval all_modules : ty_module list

Sourceval all_functions : ty_function list

Sourceval set_timer_start : (ty_module -> ty_function -> unit) -> unit

This functions assumes (asserts) that timers() yields true *

Sourceval set_timer_pause : (ty_module -> ty_function -> unit) -> unit

This functions assumes (asserts) that timers() yields true *

Sourceval exec_timer_start : ty_module -> ty_function -> unit

Sourceval exec_timer_pause : ty_module -> ty_function -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/alt-ergo-lib/AltErgoLib/Timers/index.html

Module `AltErgoLib.Timers`Source

package alt-ergo-lib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/alt-ergo-lib/AltErgoLib/Timers/index.html

Module AltErgoLib.TimersSource

Module `AltErgoLib.Timers`Source