/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()
|