Searched refs:PK_Unknown (Results 1 – 1 of 1) sorted by relevance
562 PK_Unknown enumerator570 return PK_Unknown; in getPredicateSense()971 if (getPredicateSense(MI1, HII) == PK_Unknown || in arePredicatesComplements()972 getPredicateSense(MI2, HII) == PK_Unknown) in arePredicatesComplements()