Searched refs:PP_ASSERT_STATUS_CONFLICT (Results 1 – 5 of 5) sorted by relevance
38 return PP_ASSERT_STATUS_CONFLICT; in ppAssert()
550 PP_ASSERT_STATUS_CONFLICT enumerator887 case theory::Theory::PP_ASSERT_STATUS_CONFLICT:
313 return PP_ASSERT_STATUS_CONFLICT; in ppAssert()
202 case Theory::PP_ASSERT_STATUS_CONFLICT: in applyInternal()
2259 status = Theory::PP_ASSERT_STATUS_CONFLICT; in ppAssert()