Home
last modified time | relevance | path

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

/dports/math/cadical/cadical-1.0.3-cb89cbf/src/
H A Dproof.cpp98 void Proof::delete_clause (Clause * c) { in delete_clause() function in CaDiCaL::Proof
102 delete_clause (); in delete_clause()
105 void Proof::delete_clause (const vector<int> & c) { in delete_clause() function in CaDiCaL::Proof
109 delete_clause (); in delete_clause()
135 delete_clause (c); in flush_clause()
153 delete_clause (c); in strengthen_clause()
172 void Proof::delete_clause () { in delete_clause() function in CaDiCaL::Proof
175 observers[i]->delete_clause (clause); in delete_clause()
H A Dproof.hpp31 void delete_clause (); // notify observers of deleted clauses
51 void delete_clause (const vector<int> &);
52 void delete_clause (Clause *);
H A Dclause.cpp207 void Internal::delete_clause (Clause * c) { in delete_clause() function in CaDiCaL::Internal
224 proof->delete_clause (c); in delete_clause()
252 proof->delete_clause (c); in mark_garbage()
333 if (proof) proof->delete_clause (original); in add_new_original_clause()
352 proof->delete_clause (original); in add_new_original_clause()
H A Dchecker.hpp114 void delete_clause (CheckerClause *);
157 void delete_clause (const vector<int> &);
H A Dchecker.cpp74 void Checker::delete_clause (CheckerClause * c) { in delete_clause() function in CaDiCaL::Checker
157 next = c->next, delete_clause (c); in collect_garbage_clauses()
194 next = c->next, delete_clause (c); in ~Checker()
196 next = c->next, delete_clause (c); in ~Checker()
500 void Checker::delete_clause (const vector<int> & c) { in delete_clause() function in CaDiCaL::Checker
H A Dobserver.hpp26 virtual void delete_clause (const vector<int> &) { } in delete_clause() function in CaDiCaL::Observer
H A Dtracer.hpp22 void delete_clause (const vector<int> &);
H A Dtracer.cpp58 void Tracer::delete_clause (const vector<int> & clause) { in delete_clause() function in CaDiCaL::Tracer
H A Dcollect.cpp164 delete_clause (c); in delete_garbage_clauses()
297 if (c->collect ()) delete_clause (c); in copy_non_garbage_clauses()
H A Dassume.cpp150 proof->delete_clause (clause); in failing()
H A Ddecompose.cpp276 proof->delete_clause (c); in decompose_round()
H A Dinternal.cpp53 delete_clause (c); in ~Internal()
H A Dinternal.hpp423 void delete_clause (Clause *);
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Ddrat_checker.cc563 bool delete_clause = !words.empty() && words[0] == "d";
565 for (int i = (delete_clause ? 1 : 0); i < words.size(); ++i) {
578 if (delete_clause) {
/dports/www/phalcon4/cphalcon-4.1.1/ext/phalcon/mvc/model/query/
H A Dparser.php7.lemon416 delete_statement(R) ::= delete_clause(D) where_clause(W) limit_clause(L) . {
420 %destructor delete_clause {
424 delete_clause(R) ::= DELETE FROM associated_name(A) . {
/dports/www/phalcon/cphalcon-3.4.5/ext/phalcon/mvc/model/query/
H A Dparser.php5.lemon425 delete_statement(R) ::= delete_clause(D) where_clause(W) limit_clause(L) . {
429 %destructor delete_clause {
433 delete_clause(R) ::= DELETE FROM associated_name(A) . {
H A Dparser.php7.lemon425 delete_statement(R) ::= delete_clause(D) where_clause(W) limit_clause(L) . {
429 %destructor delete_clause {
433 delete_clause(R) ::= DELETE FROM associated_name(A) . {
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsmt_core.c221 static inline void delete_clause(clause_t *cl) { in delete_clause() function
1625 delete_clause(cl[i]); in delete_smt_core()
1692 delete_clause(cl[i]); in reset_smt_core()
4910 delete_clause(v[i]); in simplify_clause_set()
5201 delete_clause(v[i]); in restore_clauses()
5669 delete_clause(v[i]); in remove_garbage_clauses()
H A Dsat_solver.c164 static inline void delete_clause(clause_t *cl) { in delete_clause() function
1059 delete_clause(cl[i]); in delete_sat_solver()
1717 delete_clause(v[i]); in simplify_clause_set()
/dports/databases/ora2pg/ora2pg-22.1/lib/
H A DOra2Pg.pm3860 my $delete_clause = '';
3867 $delete_clause = "$delete_clause_start FROM $tmptb WHERE " . $self->{delete}{"\L$table\E"} . ";";
3872 $delete_clause = "$delete_clause_start FROM $tmptb WHERE " . $self->{global_delete} . ";";
3876 if ($delete_clause)
3886 $self->data_dump("$delete_clause\n", $table);
3888 $self->dump("\n$delete_clause\n");
4058 my $delete_clause = '';
4062 $delete_clause = "$delete_clause_start FROM $tmptb WHERE " . $self->{delete}{"\L$table\E"} . ";";
4067 $delete_clause = "$delete_clause_start FROM $tmptb WHERE " . $self->{global_delete} . ";";
4071 if ($delete_clause)
[all …]
/dports/math/picosat/picosat-965/
H A Dpicosat.c1363 delete_clause (PS * ps, Cls * c)
1389 delete_clause (ps, *p);
1452 delete_clause (ps, ps->adoconflict);
4685 delete_clause (ps, c);
/dports/ports-mgmt/pkg/pkg-1.17.5/external/picosat/
H A Dpicosat.c1363 delete_clause (PS * ps, Cls * c) in delete_clause() function
1389 delete_clause (ps, *p); in delete_clauses()
1452 delete_clause (ps, ps->adoconflict); in resetadoconflict()
4685 delete_clause (ps, c); in collect_clause()
/dports/math/spot/spot-2.10.2/picosat/
H A Dpicosat.c1363 delete_clause (PS * ps, Cls * c) in delete_clause() function
1389 delete_clause (ps, *p); in delete_clauses()
1452 delete_clause (ps, ps->adoconflict); in resetadoconflict()
4685 delete_clause (ps, c); in collect_clause()
/dports/math/py-pycosat/pycosat-0.6.3/
H A Dpicosat.c1363 delete_clause (PS * ps, Cls * c) in delete_clause() function
1389 delete_clause (ps, *p); in delete_clauses()
1452 delete_clause (ps, ps->adoconflict); in resetadoconflict()
4685 delete_clause (ps, c); in collect_clause()
/dports/math/py-spot/spot-2.10.2/picosat/
H A Dpicosat.c1363 delete_clause (PS * ps, Cls * c) in delete_clause() function
1389 delete_clause (ps, *p); in delete_clauses()
1452 delete_clause (ps, ps->adoconflict); in resetadoconflict()
4685 delete_clause (ps, c); in collect_clause()