Home
last modified time | relevance | path

Searched refs:th_props (Results 1 – 11 of 11) sorted by relevance

/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_statistics.c52 fprintf(f, " theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
73 fprintf(f, " prop. to core : %"PRIu32"\n", stat->th_props); in show_egraph_stats()
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsmt_core.h789 uint32_t th_props; // number of theory propagation member
1327 return s->stats.th_props; in num_theory_propagations()
H A Dsmt_core.c1281 stat->th_props = 0; in init_statistics()
2130 s->stats.th_props ++; in propagate_literal()
/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Degraph_types.h1263 uint32_t th_props; // propagations from egraph to core member
H A Degraph.h633 return egraph->stats.th_props; // from egraph to core in egraph_num_bool_props()
H A Degraph.c905 s->th_props = 0; in init_egraph_stats()
3735 egraph->stats.th_props ++; in propagate_boolean_equality()
4473 egraph->stats.th_props = 0; in egraph_start_search()
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_core3.c516 printf("theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
H A Dtest_core2.c510 printf("theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smtcomp.c568 fprintf(stderr, " theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
589 fprintf(stderr, " prop. to core : %"PRIu32"\n", stat->th_props); in show_egraph_stats()
H A Dyices_smt.c1080 printf(" theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
1101 printf(" prop. to core : %"PRIu32"\n", stat->th_props); in show_egraph_stats()
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_reval.c1899 printf(" theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
1915 printf(" prop. to core : %"PRIu32"\n", stat->th_props); in show_egraph_stats()