Searched refs:conflict_node (Results 1 – 1 of 1) sorted by relevance
527 InadequacyList *conflict_node = in AnnotationList__compute_from_inadequacies() local532 annotation_node->inadequacyNode = conflict_node; in AnnotationList__compute_from_inadequacies()538 InadequacyList__delete (conflict_node); in AnnotationList__compute_from_inadequacies()542 InadequacyList__prependTo (conflict_node, in AnnotationList__compute_from_inadequacies()