Home
last modified time | relevance | path

Searched refs:incremental_mode (Results 1 – 25 of 38) sorted by relevance

12

/dports/databases/jdb/jdb-1.14/
H A Ddbrowdiff69 $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 Dfd_solver.cpp30 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 Dfd_solver.h27 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 Dfd_solver.cpp30 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 Dfd_solver.h27 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 Dinc_sat_solver.h26 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode = true);
H A Dinc_sat_solver.cpp89 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 Dinc_sat_solver.h26 solver* mk_inc_sat_solver(ast_manager& m, params_ref const& p, bool incremental_mode = true);
H A Dinc_sat_solver.cpp88 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 Dsquatter.c98 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 Dsquatter.c99 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 Dsquatter.c99 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 Dparameters.cc98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/gold/
H A Dparameters.cc98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
/dports/devel/arm-elf-binutils/binutils-2.37/gold/
H A Dparameters.cc98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
/dports/devel/gnulibiberty/binutils-2.37/gold/
H A Dparameters.cc98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
/dports/lang/gnatdroid-binutils/binutils-2.27/gold/
H A Dparameters.cc98 this->incremental_mode_ = this->options().incremental_mode(); in set_options()
/dports/net/librdkafka/librdkafka-1.8.2/examples/
H A Drdkafka_performance.c73 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 Drdkafka_performance.c73 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 Drdkafka_performance.c73 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 Dpb_solver.cpp2504 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 Dpb_solver.h193 bool incremental_mode() const;
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/
H A Dba_solver.cpp2605 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 Dba_solver.h201 bool incremental_mode() const;
/dports/databases/spatialite/libspatialite-5.0.1/src/topology/
H A Dgaia_network.c4176 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()

12