Lines Matching refs:inadequacyNode
32 * - \c inadequacyNode member is \c NULL.
48 result->inadequacyNode = NULL;
55 * - <tt>0 <= ci < self->inadequacyNode->contributionCount</tt>.
64 aver (0 <= ci && ci < self->inadequacyNode->contributionCount);
106 if (self->inadequacyNode->id < (*node)->inadequacyNode->id)
108 else if ((*node)->inadequacyNode->id < self->inadequacyNode->id)
112 cmp == 0 && ci < self->inadequacyNode->contributionCount;
235 self->inadequacyNode->contributionCount, annotations_obstackp);
236 annotation_node->inadequacyNode = self->inadequacyNode;
241 for (ci = 0; ci < self->inadequacyNode->contributionCount; ++ci)
244 InadequacyList__getContributionToken (self->inadequacyNode, ci)
532 annotation_node->inadequacyNode = conflict_node;
589 ai, a->inadequacyNode->manifestingState->number);
593 rulei = bitset_first (a->inadequacyNode->inadequacy.conflict.actions);
594 for (ci = 0; ci < a->inadequacyNode->contributionCount; ++ci)
597 InadequacyList__getContributionToken (a->inadequacyNode, ci)
605 a->inadequacyNode))
612 a->inadequacyNode->manifestingState
615 bitset_next (a->inadequacyNode->inadequacy.conflict.actions,
640 for (ci = 0; ci < self->inadequacyNode->contributionCount; ++ci)
646 InadequacyList__getContributionToken (self->inadequacyNode, ci)
666 * - <tt>0 <= ci < self->inadequacyNode->contributionCount</tt>.
682 InadequacyList__getContributionToken (self->inadequacyNode, ci)->number;
699 InadequacyList__getShiftContributionIndex (self->inadequacyNode);
701 token = self->inadequacyNode->inadequacy.conflict.token;
721 for (ci = 0, actioni = bitset_first (self->inadequacyNode->inadequacy
723 ci < self->inadequacyNode->contributionCount;
724 ++ci, actioni = bitset_next (self->inadequacyNode->inadequacy
731 rule *r = self->inadequacyNode->manifestingState
796 for (ci = 0; ci < self->inadequacyNode->contributionCount; ++ci)
