Home
last modified time | relevance | path

Searched refs:d_amount (Results 1 – 8 of 8) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Derror_set.cpp37 , d_amount(NULL) in ErrorInformation()
50 , d_amount(NULL) in ErrorInformation()
63 delete d_amount; in ~ErrorInformation()
64 d_amount = NULL; in ~ErrorInformation()
78 d_amount = NULL; in ErrorInformation()
80 d_amount = new DeltaRational(*ei.d_amount); in ErrorInformation()
93 if(d_amount != NULL && ei.d_amount != NULL){ in operator =()
95 *d_amount = *ei.d_amount; in operator =()
97 d_amount = new DeltaRational(*ei.d_amount); in operator =()
101 delete d_amount; in operator =()
[all …]
H A Derror_set.h138 DeltaRational* d_amount; variable
168 Assert(d_amount != NULL); in getAmount()
169 return *d_amount; in getAmount()
196 if(d_amount == NULL){ in print()
199 os << (*d_amount); in print()
/dports/multimedia/libva-intel-driver/intel-vaapi-driver-2.4.1/src/
H A Dgen75_vpp_gpe.h66 unsigned int d_amount; member
H A Dgen75_vpp_gpe.c664 thr_param.d_amount = (unsigned int)(sharpening_intensity * 128); in vpp_gpe_process_sharpening()
/dports/www/dolibarr13/dolibarr-13.0.5/htdocs/don/payment/
H A Dcard.php184 print '<td class="right">'.price($objp->d_amount).'</td>';
/dports/www/dolibarr/dolibarr-14.0.3/htdocs/don/payment/
H A Dcard.php181 print '<td class="right">'.price($objp->d_amount).'</td>';
/dports/games/lordsawar/lordsawar-0.3.2/src/
H A Daction.cpp1798 :Action(Action::DIPLOMATIC_SCORE), d_opponent_id(p->getId()), d_amount(amount) in Action_DiplomacyScore()
1803 : Action(a), d_opponent_id(a.d_opponent_id), d_amount(a.d_amount) in Action_DiplomacyScore()
1811 helper->getData(d_amount, "amount"); in Action_DiplomacyScore()
1816 if (d_amount > 0) in dump()
1817 return String::ucompose("Adding %1 to player %2.\n", d_amount, d_opponent_id); in dump()
1819 return String::ucompose("Subtracting %1 from player %2.\n", d_amount, d_opponent_id); in dump()
1827 retval &= helper->saveData("amount", d_amount); in doSave()
H A Daction.h1366 int getAmountChange() const {return d_amount;}; in getAmountChange()
1369 int d_amount; variable