Home
last modified time | relevance | path

Searched refs:total_inc (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_unif.cpp100 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 Dsygus_unif.h181 const std::map<Node, unsigned>& total_inc,
H A Dsygus_unif_io.cpp1222 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 DSpeedLimitHandler.java6935 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 ){