Home
last modified time | relevance | path

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

123

/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSimpSolver.h186 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
187 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
188 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
189 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
190 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
191 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
H A DSolver.h227 vec<Lit> add_tmp; variable
337 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
338 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
339 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
340 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
341 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
342 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
H A DSimpSolver.cc535 vec<Lit>& resolvent = add_tmp; in eliminateVar()
564 vec<Lit>& subst_clause = add_tmp; in substitute()
/dports/math/minisat/minisat-2.2.1/minisat/simp/
H A DSimpSolver.h186 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
187 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
188 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
189 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
190 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
191 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
/dports/math/vampire/vampire-4.5.1/Minisat/simp/
H A DSimpSolver.h191 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
192 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
193 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
194 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
195 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
196 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSimpSolver.h177 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
178 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
179 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
180 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
181 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
H A DSolver.h201 vec<Lit> add_tmp; variable
311 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
312 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
313 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
314 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
315 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/glucose/glucose-syrup-4.1/simp/
H A DSimpSolver.h217 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
218 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
219 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
220 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
221 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/simp/
H A DSimpSolver.h181 …impSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
182 …ool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
183 …Solver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
184 …ddClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
185 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DSimpSolver.h183 … SimpSolver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
184 … bool SimpSolver::addEmptyClause() { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
185 …mpSolver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
186 …:addClause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
187 …se (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
H A DSolver.h269 vec<Lit> add_tmp; variable
395 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
396 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
397 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
398 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
399 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/simp/
H A DSimpSolver.h181 …lause (const vec<Lit>& ps, ClauseId& id) { ps.copyTo(add_tmp); return addClause_(add_tmp, id… in addClause()
182 …mpSolver::addEmptyClause() { add_tmp.clear(); ClauseId id; return addClause_(a… in addEmptyClause()
183 …use (Lit p, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
184 …it p, Lit q, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
185 …t q, Lit r, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/simp/
H A DSimpSolver.h187 { ps.copyTo(add_tmp); return addClause_(add_tmp, removable, id); } in addClause()
188 …impSolver::addEmptyClause(bool removable) { add_tmp.clear(); ClauseId id=-1; return addClause_(… in addEmptyClause()
190 … { add_tmp.clear(); add_tmp.push(p); return addClause_(add_tmp, removable, id); } in addClause()
192 … { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return addClause_(add_tmp, removable, id); } in addClause()
194 …{ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); return addClause_(add_tmp, r… in addClause()
/dports/math/minisat/minisat-2.2.1/minisat/core/
H A DSolver.h227 vec<Lit> add_tmp; variable
337 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
338 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
339 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
340 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
341 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
342 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/
H A DSolver.h227 vec<Lit> add_tmp; variable
337 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
338 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
339 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
340 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
341 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
342 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
/dports/math/vampire/vampire-4.5.1/Minisat/core/
H A DSolver.h233 vec<Lit> add_tmp; variable
343 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
344 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
345 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
346 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
347 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
348 …it q, Lit r, Lit s){ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); add_tmp.p… in addClause()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/
H A DSolver.h217 vec<Lit> add_tmp; variable
329 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
330 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
331 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
332 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
333 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.h285 vec<Lit> add_tmp; variable
434 …se (const vec<Lit>& ps, ClauseId& id) { ps.copyTo(add_tmp); return addClause_(add_tmp, id… in addClause()
435 …lver::addEmptyClause () { add_tmp.clear(); ClauseId tmp; return addClause_(a… in addEmptyClause()
436 … (Lit p, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
437 …it p, Lit q, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
438 …t q, Lit r, ClauseId& id) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.h376 vec<Lit> add_tmp; variable
505 …Solver::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
506 … Solver::addEmptyClause () { add_tmp.clear(); return addClause_(add_tmp)… in addEmptyClause()
507 …ver::addClause (Lit p) { add_tmp.clear(); add_tmp.push(p); return addClause_… in addClause()
508 …lause (Lit p, Lit q) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return ad… in addClause()
509 … (Lit p, Lit q, Lit r) { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); … in addClause()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.h374 vec<Lit> add_tmp; variable
514 … { ps.copyTo(add_tmp); return addClause_(add_tmp, removable, id); } in addClause()
515 …lver::addEmptyClause (bool removable) { add_tmp.clear(); ClauseId tmp; return addClause_(a… in addEmptyClause()
517 … { add_tmp.clear(); add_tmp.push(p); return addClause_(add_tmp, removable, id); } in addClause()
519 … { add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); return addClause_(add_tmp, removable, id); } in addClause()
521 …{ add_tmp.clear(); add_tmp.push(p); add_tmp.push(q); add_tmp.push(r); return addClause_(add_tmp, r… in addClause()
/dports/math/glucose/glucose-syrup-4.1/parallel/
H A DMultiSolvers.h134 vec<Lit> add_tmp; variable
173 …olvers::addClause (const vec<Lit>& ps) { ps.copyTo(add_tmp); return addClause_(add_tmp); } in addClause()
/dports/math/py-pandas/pandas-1.2.5/pandas/core/computation/
H A Dexpr.py430 name = self.env.add_tmp([right.value])
434 name = self.env.add_tmp([left.value])
457 name = self.env.add_tmp(np.float32(left.value))
466 name = self.env.add_tmp(np.float32(right.value))
547 name = self.env.add_tmp(node.s)
551 name = self.env.add_tmp([self.visit(e)(self.env) for e in node.elts])
577 name = self.env.add_tmp(v)
634 name = self.env.add_tmp(v)
H A Dscope.py293 def add_tmp(self, value) -> str:
/dports/net-mgmt/phpipam/phpipam-a14bc06/functions/scripts/
H A DdiscoveryCheck.php208 $add_tmp[$a['subnetId']][] = $Subnets->transform_to_dotted($a['ip_addr']);
212 if(isset($add_tmp[$s->id])) {
213 $scan_subnets[$sk]->discovered = $add_tmp[$s->id];
/dports/math/ogdf/OGDF/src/ogdf/lib/minisat/simp/
H A DSimpSolver.cpp516 vec<Lit>& resolvent = add_tmp; in eliminateVar()
545 vec<Lit>& subst_clause = add_tmp; in substitute()

123