Searched refs:total_inc (Results 1 – 4 of 4) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | sygus_unif.cpp | 100 const std::map<Node, unsigned>& total_inc, in constructBestStringToConcat() argument 109 const std::map<Node, unsigned>::const_iterator iti = total_inc.find(ns); in constructBestStringToConcat() 110 if (iti != total_inc.end() && iti->second > 0) in constructBestStringToConcat()
|
H A D | sygus_unif.h | 181 const std::map<Node, unsigned>& total_inc,
|
H A D | sygus_unif_io.cpp | 1222 std::map<Node, unsigned> total_inc; in constructSol() local 1265 total_inc[val_t] = tot; in constructSol() 1277 ret_dt = constructBestStringToConcat(inc_strs, total_inc, incr); in constructSol() 1285 AlwaysAssert(ret == (total_inc[ret_dt] > 0)); in constructSol()
|
/dports/net-p2p/vuze/vuze-5.7.4.0_2/com/aelitis/azureus/core/speedmanager/ |
H A D | SpeedLimitHandler.java | 6935 long total_inc = 0; 6963 total_inc += inc; 6978 … after=" + formatRate( new_total_rate, false ) + ", inc=" + formatRate( total_inc, false ) + " [" … 7005 if ( diff > 0 && total_inc > 0 ){ 7014 limit = limit + (int)((inc*diff)/total_inc); 7187 int total_inc = 0; 7217 total_inc += inc; 7226 log( "Mini-probe result: inc=" + formatRate( total_inc, false ) + " [" + probe_str + "]" ); 7228 if ( total_inc > 10*1024 ){
|