Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.cpp48 , d_testClique( c ) in Region()
168 if( d_testClique.find( n1 )!=d_testClique.end() && d_testClique[n1] && in setDisequal()
169 d_testClique.find( n2 )!=d_testClique.end() && d_testClique[n2] ){ in setDisequal()
191 if( d_testClique.find( n ) != d_testClique.end() && d_testClique[n] ){ in setRep()
193 d_testClique[n] = false; in setRep()
297 ( d_testClique.find( it->first ) == d_testClique.end() || in check()
319 ( d_testClique.find( it->first )==d_testClique.end() || in check()
360 d_testClique[ newClique[j] ] = true; in check()
369 it != d_testClique.end(); ++it ){ in check()
419 if( !d_testClique.empty() ){ in debugPrint()
[all …]
H A Dtheory_uf_strong_solver.h136 NodeBoolMap d_testClique; variable