Searched refs:d_disequalities_index (Results 1 – 2 of 2) sorted by relevance
469 d_disequalities_index(c, 0), in SortModel()635 if( d_disequalities_index<d_disequalities.size() ){ in assertDisequal()636 d_disequalities[d_disequalities_index] = reason; in assertDisequal()640 d_disequalities_index = d_disequalities_index + 1; in assertDisequal()
226 context::CDO< unsigned > d_disequalities_index; variable