Searched refs:PK_Unknown (Results 1 – 1 of 1) sorted by relevance
434 PK_Unknown enumerator442 return PK_Unknown; in getPredicateSense()842 if (getPredicateSense(MI1, HII) == PK_Unknown || in arePredicatesComplements()843 getPredicateSense(MI2, HII) == PK_Unknown) in arePredicatesComplements()