Searched refs:n_emp (Results 1 – 1 of 1) sorted by relevance
1093 unsigned n_emp = 0; in initializeBounds() local1095 n_emp = d_card_max[tn]; in initializeBounds()1098 n_emp = 1; in initializeBounds()1102 Trace("sep-bound") << "Constructing " << n_emp << " cardinality constants." << std::endl; in initializeBounds()1103 for( unsigned r=0; r<n_emp; r++ ){ in initializeBounds()