Lines Matching defs:node
31 * - \c result is a new \c AnnotationList with one node whose:
70 * - \c self is a single node.
71 * - \c self annotates the same state as every other node in \c list, and
77 * - Otherwise, \c list now contains the node \c self, \c result is true, and
81 * inadequacy node. Because these IDs are assigned in ascending
101 AnnotationList **node;
102 for (node = list; *node; node = &(*node)->next)
106 if (self->inadequacyNode->id < (*node)->inadequacyNode->id)
108 else if ((*node)->inadequacyNode->id < self->inadequacyNode->id)
117 if (!AnnotationList__isContributionAlways (*node, ci))
120 else if (AnnotationList__isContributionAlways (*node, ci))
129 if (Sbitset__test ((*node)->contributions[ci], item))
132 else if (!Sbitset__test ((*node)->contributions[ci], item))
139 self->next = *node;
140 *node = self;
149 if (!*node)
150 *node = self;
445 /* Allocate the annotation node. */
