Home
last modified time | relevance | path

Searched refs:d_priority (Results 1 – 7 of 7) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dsearch_sat.h118 int d_priority; variable
122 : d_lit(lit), d_priority(priority) {} in LitPriorityPair()
124 int getPriority() const { return d_priority; } in getPriority()
314 if (p1.d_priority > p2.d_priority) return true;
315 if (p1.d_priority < p2.d_priority) return false;
/dports/dns/powerdns/pdns-4.5.2/pdns/
H A Dfilterpo.hh84 Priority d_priority{maximumPriority}; member
140 return d_zoneData->d_priority; in getPriority()
291 return d_zoneData->d_priority; in getPriority()
294 d_zoneData->d_priority = p; in setPriority()
377 policy.d_zoneData->d_priority = p; in getQueryPolicy()
385 policy.d_zoneData->d_priority = p; in getClientPolicy()
393 policy.d_zoneData->d_priority = p; in getProcessingPolicy()
401 policy.d_zoneData->d_priority = p; in getProcessingPolicy()
409 policy.d_zoneData->d_priority = p; in getPostPolicy()
H A Ddnsrecords.cc329 conv.xfr16BitInt(d_priority);
331 if (d_priority != 0) {
337 conv.xfr16BitInt(d_priority);
339 if (d_priority != 0) {
810 conv.xfr16BitInt(d_priority);
H A Ddnsrecords.hh504 uint16_t getPriority() const {return d_priority;} in getPriority()
519 uint16_t d_priority; member in SVCBBaseRecordContent
947 uint16_t d_priority, d_weight; member in URIRecordContent
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Drewrite_engine.cpp38 std::vector< double > d_priority; member
40 return d_priority[i] < d_priority[j]; in operator ()()
89 ps.d_priority.push_back( getPriority( d_rr_quant[i] ) ); in check()
/dports/comms/gnuradio/gnuradio-3.8.4.0/gnuradio-runtime/lib/
H A Dblock.cc54 d_priority(-1), in block()
323 int block::thread_priority() { return d_priority; } in thread_priority()
327 d_priority = priority; in set_thread_priority()
331 return d_priority; in set_thread_priority()
/dports/comms/gnuradio/gnuradio-3.8.4.0/gnuradio-runtime/include/gnuradio/
H A Dblock.h760 int d_priority; // thread priority level variable