C++ (Cpp) CTX::collect_statistics Exemples

Langage de programmation: C++ (Cpp)

Class/Type: CTX

Méthode/Fonction: collect_statistics

Exemples au hotexamples.com: 2

C++ (Cpp) CTX::collect_statistics - 2 exemples trouvés. Ce sont les exemples réels les mieux notés de CTX::collect_statistics extraits de projets open source. Vous pouvez noter les exemples pour nous aider à en améliorer la qualité.

Méthodes fréquemment utilisées

Afficher Cacher

collect_param_descrs(2)

collect_statistics(2)

dec_ref(2)

display_bounds(2)

display_constraints(2)

inc_ref(2)

is_int(2)

mk_monomial(2)

mk_var(2)

num_vars(2)

reset_statistics(2)

set_display_proc(2)

updt_params(2)

add_clause(1)

fn(1)

Méthodes fréquemment utilisées

collect_param_descrs (2)

collect_statistics (2)

dec_ref (2)

display_bounds (2)

display_constraints (2)

inc_ref (2)

is_int (2)

mk_monomial (2)

mk_var (2)

num_vars (2)

Méthodes fréquemment utilisées

reset_statistics (2)

set_display_proc (2)

updt_params (2)

add_clause (1)

fn (1)

Exemple #1

0

Afficher le fichier

Fichier : subpaving.cpp Projet : chadbrewbaker/z3

void collect_statistics(statistics & st) const override { m_ctx.collect_statistics(st); }

Exemple #2

0

Afficher le fichier

Fichier : subpaving.cpp Projet : AleksandarZeljic/z3

virtual void collect_statistics(statistics & st) const { m_ctx.collect_statistics(st); }