| /dports/databases/jdb/jdb-1.14/ |
| H A D | dbrowdiff | 69 $incremental_mode = 0;
75 $incremental_mode = 0;
77 $incremental_mode = 1;
111 $base = $f[$xf] if ($incremental_mode);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/fd_solver/ |
| H A D | fd_solver.cpp | 30 solver * mk_fd_solver(ast_manager & m, params_ref const & p, bool incremental_mode) { in mk_fd_solver() argument
31 solver* s = mk_inc_sat_solver(m, p, incremental_mode); in mk_fd_solver()
|
| H A D | fd_solver.h | 27 solver * mk_fd_solver(ast_manager & m, params_ref const & p, bool incremental_mode = true);
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/fd_solver/ |
| H A D | fd_solver.cpp | 30 solver * mk_fd_solver(ast_manager & m, params_ref const & p, bool incremental_mode) { in mk_fd_solver() argument
31 solver* s = mk_inc_sat_solver(m, p, incremental_mode); in mk_fd_solver()
|
| H A D | fd_solver.h | 27 solver * mk_fd_solver(ast_manager & m, params_ref const & p, bool incremental_mode = true);
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/sat_solver/ |
| H A D | inc_sat_solver.h | 26 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode = true);
|
| H A D | inc_sat_solver.cpp | 89 inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode): in inc_sat_solver() argument
106 m_solver.set_incremental(incremental_mode && !override_incremental()); in inc_sat_solver()
1082 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode) { in mk_inc_sat_solver() argument
1083 return alloc(inc_sat_solver, m, p, incremental_mode); in mk_inc_sat_solver()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/sat_solver/ |
| H A D | inc_sat_solver.h | 26 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode = true);
|
| H A D | inc_sat_solver.cpp | 88 inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode): in inc_sat_solver() argument
105 m_solver.set_incremental(incremental_mode && !override_incremental()); in inc_sat_solver()
1050 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode) { in mk_inc_sat_solver() argument
1051 return alloc(inc_sat_solver, m, p, incremental_mode); in mk_inc_sat_solver()
|
| /dports/mail/cyrus-imapd30/cyrus-imapd-3.0.16/imap/ |
| H A D | squatter.c | 98 static int incremental_mode = 0; variable
195 if (incremental_mode) in index_one()
860 incremental_mode = 1; /* always incremental if rolling */ in main()
927 incremental_mode = 1; in main()
|
| /dports/mail/cyrus-imapd32/cyrus-imapd-3.2.8/imap/ |
| H A D | squatter.c | 99 static int incremental_mode = 0; variable
237 if (incremental_mode) in index_one()
877 incremental_mode = 1; /* always incremental if rolling */ in main()
940 incremental_mode = 1; in main()
|
| /dports/mail/cyrus-imapd34/cyrus-imapd-3.4.2/imap/ |
| H A D | squatter.c | 99 static int incremental_mode = 0; variable
277 if (incremental_mode) in index_one()
1040 incremental_mode = 1; /* always incremental if rolling */ in main()
1098 incremental_mode = 1; in main()
|
| /dports/devel/binutils/binutils-2.37/gold/ |
| H A D | parameters.cc | 98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gold/ |
| H A D | parameters.cc | 98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gold/ |
| H A D | parameters.cc | 98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
|
| /dports/devel/gnulibiberty/binutils-2.37/gold/ |
| H A D | parameters.cc | 98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gold/ |
| H A D | parameters.cc | 98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
|
| /dports/net/librdkafka/librdkafka-1.8.2/examples/ |
| H A D | rdkafka_performance.c | 73 static int incremental_mode = 0; variable
669 if (incremental_mode && now > cnt.t_last) { in print_stats()
1102 incremental_mode = 1; in main()
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/rdkafka-sys-2.0.0+1.4.2/librdkafka/examples/ |
| H A D | rdkafka_performance.c | 73 static int incremental_mode = 0; variable
636 if (incremental_mode && now > cnt.t_last) { in print_stats()
1101 incremental_mode = 1; in main()
|
| /dports/sysutils/fluent-bit/fluent-bit-1.8.11/plugins/out_kafka/librdkafka-1.7.0/examples/ |
| H A D | rdkafka_performance.c | 73 static int incremental_mode = 0; variable
669 if (incremental_mode && now > cnt.t_last) { in print_stats()
1102 incremental_mode = 1; in main()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | pb_solver.cpp | 2504 if (incremental_mode()) return; in remove_unused_defs()
2520 bool solver::incremental_mode() const { in incremental_mode() function in pb::solver
2522 bool incremental_mode = s().get_config().m_incremental && !p.override_incremental(); in incremental_mode() local
2523 incremental_mode |= s().tracking_assumptions(); in incremental_mode()
2524 return incremental_mode; in incremental_mode()
2530 if (!incremental_mode() && s().get_extension() == this) { in set_non_external()
2568 if (!get_config().m_elim_vars || incremental_mode()) { in elim_pure()
|
| H A D | pb_solver.h | 193 bool incremental_mode() const;
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | ba_solver.cpp | 2605 if (incremental_mode()) return; in remove_unused_defs()
2629 bool ba_solver::incremental_mode() const { in incremental_mode() function in sat::ba_solver
2631 bool incremental_mode = s().get_config().m_incremental && !p.override_incremental(); in incremental_mode() local
2632 incremental_mode |= s().tracking_assumptions(); in incremental_mode()
2633 return incremental_mode; in incremental_mode()
2639 if (!incremental_mode()) { in set_non_external()
2677 if (!get_config().m_elim_vars || incremental_mode()) { in elim_pure()
|
| H A D | ba_solver.h | 201 bool incremental_mode() const;
|
| /dports/databases/spatialite/libspatialite-5.0.1/src/topology/ |
| H A D | gaia_network.c | 4176 int incremental_mode = 1; in fnctaux_TopoNet_UpdateSeeds() local
4196 incremental_mode = sqlite3_value_int (argv[1]); in fnctaux_TopoNet_UpdateSeeds()
4211 ret = gaiaTopoNetUpdateSeeds (accessor, incremental_mode); in fnctaux_TopoNet_UpdateSeeds()
|