Lines Matching refs:aver
64 aver (0 <= ci && ci < self->inadequacyNode->contributionCount);
182 aver (i == 0 || reds->rules[i-1] < reds->rules[i]);
270 aver (s->items[self_item] > 1);
316 aver (predecessor_item != (*predecessor)->nitems);
487 aver (item_i < s->nitems);
504 aver (!Sbitset__isEmpty (annotation_node->contributions[ci],
544 aver (AnnotationList__insertInto (
547 /* This aver makes sure the
551 aver (!bitset_test (shift_tokens, conflicted_token)
610 aver (rulei != BITSET_BINDEX_MAX);