Searched refs:d_initializedCombinedCardinality (Results 1 – 2 of 2) sorted by relevance
462 context::CDO<bool> d_initializedCombinedCardinality; variable
1329 d_initializedCombinedCardinality(u, false), in StrongSolverTheoryUF()1620 d_initializedCombinedCardinality = false; in presolve()1765 && !d_initializedCombinedCardinality.get()) in initializeCombinedCardinality()1767 d_initializedCombinedCardinality = true; in initializeCombinedCardinality()