Home
last modified time | relevance | path

Searched refs:up_to_size (Results 1 – 3 of 3) sorted by relevance

/dports/print/qpdf/qpdf-10.5.0/libqpdf/
H A DMD5.cc61 size_t up_to_size = 0; in encodeFile() local
64 up_to_size = QIntC::to_size(up_to_offset); in encodeFile()
68 if ((up_to_offset >= 0) && ((so_far + to_try) > up_to_size)) in encodeFile()
70 to_try = up_to_size - so_far; in encodeFile()
77 if ((up_to_offset >= 0) && (so_far >= up_to_size)) in encodeFile()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_propagator.cpp575 …eryInstProp::merge_exp( std::vector< Node >& v, std::vector< Node >& v_to_merge, int up_to_size ) { in merge_exp() argument
578 Assert( up_to_size==-1 || up_to_size==(int)v_to_merge.size() ); in merge_exp()
582 up_to_size = up_to_size==-1 ? (int)v_to_merge.size() : up_to_size; in merge_exp()
583 for( int j=0; j<up_to_size; j++ ){ in merge_exp()
H A Dinst_propagator.h103 …static void merge_exp( std::vector< Node >& v, std::vector< Node >& v_to_merge, int up_to_size = -…