/dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
H A D | proof.cpp | 98 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 D | proof.hpp | 31 void delete_clause (); // notify observers of deleted clauses 51 void delete_clause (const vector<int> &); 52 void delete_clause (Clause *);
|
H A D | clause.cpp | 207 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 D | checker.hpp | 114 void delete_clause (CheckerClause *); 157 void delete_clause (const vector<int> &);
|
H A D | checker.cpp | 74 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 D | observer.hpp | 26 virtual void delete_clause (const vector<int> &) { } in delete_clause() function in CaDiCaL::Observer
|
H A D | tracer.hpp | 22 void delete_clause (const vector<int> &);
|
H A D | tracer.cpp | 58 void Tracer::delete_clause (const vector<int> & clause) { in delete_clause() function in CaDiCaL::Tracer
|
H A D | collect.cpp | 164 delete_clause (c); in delete_garbage_clauses() 297 if (c->collect ()) delete_clause (c); in copy_non_garbage_clauses()
|
H A D | assume.cpp | 150 proof->delete_clause (clause); in failing()
|
H A D | decompose.cpp | 276 proof->delete_clause (c); in decompose_round()
|
H A D | internal.cpp | 53 delete_clause (c); in ~Internal()
|
H A D | internal.hpp | 423 void delete_clause (Clause *);
|
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | drat_checker.cc | 563 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 D | parser.php7.lemon | 416 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 D | parser.php5.lemon | 425 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 D | parser.php7.lemon | 425 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 D | smt_core.c | 221 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 D | sat_solver.c | 164 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 D | Ora2Pg.pm | 3860 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 D | picosat.c | 1363 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 D | picosat.c | 1363 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 D | picosat.c | 1363 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 D | picosat.c | 1363 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 D | picosat.c | 1363 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()
|