| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/util/ |
| H A D | producer_consumer_queue.h | 241 T pop(InterruptionArgs&&... interruptionArgs) { in pop() function
412 bool _tryPush(WithLock wl, T&& t) { in _tryPush()
423 void _push(WithLock wl, T&& t) { in _push()
431 boost::optional<T> _tryPop(WithLock wl) { in _tryPop()
443 T _pop(WithLock wl) { in _pop()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | pb_solver.cpp | 400 for (wliteral wl : p) { in recompile() local
436 for (wliteral wl : p) { in recompile() local
1553 for (wliteral wl : p) { in get_antecedents() local
1559 for (wliteral wl : p) { in get_antecedents() local
1985 void solver::pop(unsigned n) { in pop() function in pb::solver
2373 for (wliteral wl : p) { in clausify() local
2397 for (wliteral wl : p) { in is_cardinality() local
3202 for (wliteral wl : p) { in validate_unit_propagation() local
3220 for (wliteral wl : p) { in validate_unit_propagation() local
3358 for (wliteral wl : m_wlits) { in active2card() local
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | ba_solver.cpp | 380 wliteral wl = p[index1]; in add_assign() local
403 for (wliteral wl : p) { in recompile() local
439 for (wliteral wl : p) { in recompile() local
1577 for (wliteral wl : p) { in get_antecedents() local
1583 for (wliteral wl : p) { in get_antecedents() local
2010 void ba_solver::pop(unsigned n) { in pop() function in sat::ba_solver
2455 for (wliteral wl : p) { in clausify() local
2479 for (wliteral wl : p) { in is_cardinality() local
3330 for (wliteral wl : p) { in validate_unit_propagation() local
3348 for (wliteral wl : p) { in validate_unit_propagation() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | bound_propagator.cpp | 99 for (auto& wl : m_watches) { in del_constraints() local
163 wlist & wl = m_watches[x]; in del_var() local
234 void bound_propagator::pop(unsigned num_scopes) { in pop() function in bound_propagator
470 wlist const & wl = m_watches[x]; in propagate() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
| H A D | bound_propagator.cpp | 99 for (auto& wl : m_watches) { in del_constraints() local
163 wlist & wl = m_watches[x]; in del_var() local
234 void bound_propagator::pop(unsigned num_scopes) { in pop() function in bound_propagator
470 wlist const & wl = m_watches[x]; in propagate() local
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | solver.cpp | 47 Literal pop() { Literal p = todo.back(); todo.pop_back(); return p; } in pop() function
102 WatchList& wl = watches[it->id()]; in cleanup() local
393 Literal pop = posLit(assign_.numVars() - num); in popVars() local
838 WatchList& wl = watches_[idx]; in unitPropagate() local
1459 WatchList& wl = watches_[p.id()]; in ccHasReverseArc() local
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | solver.cpp | 47 Literal pop() { Literal p = todo.back(); todo.pop_back(); return p; } in pop() function
106 WatchList& wl = watches[id]; in cleanup() local
403 Literal pop = posLit(assign_.numVars() - num); in popVars() local
846 WatchList& wl = watches_[idx]; in unitPropagate() local
1467 WatchList& wl = watches_[p.id()]; in ccHasReverseArc() local
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | solver.cpp | 47 Literal pop() { Literal p = todo.back(); todo.pop_back(); return p; } in pop() function
106 WatchList& wl = watches[id]; in cleanup() local
403 Literal pop = posLit(assign_.numVars() - num); in popVars() local
846 WatchList& wl = watches_[idx]; in unitPropagate() local
1467 WatchList& wl = watches_[p.id()]; in ccHasReverseArc() local
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/opto/ |
| H A D | loopopts.cpp | 216 int pop = prevdom->Opcode(); in dominated_by() local
2447 Node_List wl; in partial_peel() local
2729 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/opto/ |
| H A D | loopopts.cpp | 216 int pop = prevdom->Opcode(); in dominated_by() local
2447 Node_List wl; in partial_peel() local
2729 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 240 int pop = prevdom->Opcode(); in dominated_by() local
3140 Node_List wl; in partial_peel() local
3422 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 240 int pop = prevdom->Opcode(); in dominated_by() local
3140 Node_List wl; in partial_peel() local
3422 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 237 int pop = prevdom->Opcode(); in dominated_by() local
3162 Node_List wl; in partial_peel() local
3448 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 225 int pop = prevdom->Opcode(); in dominated_by() local
3118 Node_List wl; in partial_peel() local
3400 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 238 int pop = prevdom->Opcode(); in dominated_by() local
3195 Node_List wl; in partial_peel() local
3480 Node_List wl; in partial_peel() local
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 243 int pop = prevdom->Opcode(); in dominated_by() local
3353 Node_List wl; in partial_peel() local
3644 Node_List wl; in partial_peel() local
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 238 int pop = prevdom->Opcode(); in dominated_by() local
3176 Node_List wl; in partial_peel() local
3462 Node_List wl(area); in partial_peel() local
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/hotspot/share/opto/ |
| H A D | loopopts.cpp | 222 int pop = prevdom->Opcode(); in dominated_by() local
3134 Node_List wl; in partial_peel() local
3420 Node_List wl(area); in partial_peel() local
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libphobos/src/std/ |
| H A D | parallelism.d | 1195 AbstractTask* pop() in pop() function
4331 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/lang/gcc11/gcc-11.2.0/libphobos/src/std/ |
| H A D | parallelism.d | 1191 AbstractTask* pop() in pop() function
4178 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/lang/gcc10/gcc-10.3.0/libphobos/src/std/ |
| H A D | parallelism.d | 1133 AbstractTask* pop() in pop() function
4123 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/lang/gcc11-devel/gcc-11-20211009/libphobos/src/std/ |
| H A D | parallelism.d | 1191 AbstractTask* pop() in pop() function
4178 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/devel/avr-gcc/gcc-10.2.0/libphobos/src/std/ |
| H A D | parallelism.d | 1133 AbstractTask* pop() in pop() function
4123 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libphobos/src/std/ |
| H A D | parallelism.d | 1133 AbstractTask* pop() in pop() function
4123 auto wl = poolInstance.workerLocalStorage(0); variable
|
| /dports/lang/gcc9/gcc-9.4.0/libphobos/src/std/ |
| H A D | parallelism.d | 1133 AbstractTask* pop() in pop() function
4123 auto wl = poolInstance.workerLocalStorage(0); variable
|