Lines Matching refs:AnnotationList
23 #include "AnnotationList.h"
31 * - \c result is a new \c AnnotationList with one node whose:
37 static AnnotationList*
41 AnnotationList *result;
45 offsetof (AnnotationList, contributions)
61 AnnotationList__isContributionAlways (AnnotationList const *self,
98 AnnotationList__insertInto (AnnotationList *self, AnnotationList **list,
101 AnnotationList **node;
218 AnnotationList__computePredecessorAnnotations (AnnotationList *self, state *s,
223 AnnotationList
233 AnnotationList *annotation_node =
413 InadequacyList **inadequacy_lists, AnnotationList **annotation_lists,
438 AnnotationList *annotation_node;
577 AnnotationList__debug (AnnotationList const *self, size_t nitems, int spaces)
579 AnnotationList const *a;
632 AnnotationList__computeLookaheadFilter (AnnotationList const *self,
672 AnnotationList__stateMakesContribution (AnnotationList const *self,
693 AnnotationList__computeDominantContribution (AnnotationList const *self,
