Home
last modified time | relevance | path

Searched refs:d_testCliqueSize (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.cpp46 , d_testCliqueSize( c, 0 ) in Region()
194 d_testCliqueSize = d_testCliqueSize - 1; in setRep()
291 if( d_testCliqueSize<=unsigned(cardinality) ){ in check()
293 if( d_testCliqueSize<unsigned(cardinality) ){ in check()
309 int offset = ( cardinality - d_testCliqueSize ) + 1; in check()
361 d_testCliqueSize = d_testCliqueSize + 1; in check()
366 if( d_testCliqueSize >= unsigned(cardinality+1) && d_splitsSize==0 ){ in check()
428 Debug( c ) << ", size = " << d_testCliqueSize << std::endl; in debugPrint()
H A Dtheory_uf_strong_solver.h133 context::CDO< unsigned > d_testCliqueSize; variable
190 int getTestCliqueSize() { return d_testCliqueSize; } in getTestCliqueSize()