Searched refs:d_card_max (Results 1 – 2 of 2) sorted by relevance
253 std::map< TypeNode, unsigned > d_card_max; variable
1000 d_card_max[tn] = card; in processAssertion()1015 if( card>(int)d_card_max[tn] ){ in processAssertion()1016 d_card_max[tn] = card; in processAssertion()1095 n_emp = d_card_max[tn]; in initializeBounds()1100 Trace("sep-bound") << "Cardinality element size : " << d_card_max[tn] << std::endl; in initializeBounds()