Searched refs:th_props (Results 1 – 11 of 11) sorted by relevance
/dports/math/yices/yices-2.6.2/src/context/ |
H A D | context_statistics.c | 52 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 D | smt_core.h | 789 uint32_t th_props; // number of theory propagation member 1327 return s->stats.th_props; in num_theory_propagations()
|
H A D | smt_core.c | 1281 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 D | egraph_types.h | 1263 uint32_t th_props; // propagations from egraph to core member
|
H A D | egraph.h | 633 return egraph->stats.th_props; // from egraph to core in egraph_num_bool_props()
|
H A D | egraph.c | 905 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 D | test_core3.c | 516 printf("theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
|
H A D | test_core2.c | 510 printf("theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
|
/dports/math/yices/yices-2.6.2/src/frontend/ |
H A D | yices_smtcomp.c | 568 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 D | yices_smt.c | 1080 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 D | yices_reval.c | 1899 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()
|