Searched refs:CK_Successor (Results 1 – 3 of 3) sorted by relevance
25 return c->getKind() == CK_Successor; in classof()
51 enum Kind { CK_Attr, CK_Region, CK_Successor, CK_Type, CK_Uncategorized }; enumerator
30 kind = CK_Successor; in Constraint()