Home
last modified time | relevance | path

Searched refs:PP_ASSERT_STATUS_CONFLICT (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/booleans/
H A Dtheory_bool.cpp38 return PP_ASSERT_STATUS_CONFLICT; in ppAssert()
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.h550 PP_ASSERT_STATUS_CONFLICT enumerator
887 case theory::Theory::PP_ASSERT_STATUS_CONFLICT:
H A Dtheory.cpp313 return PP_ASSERT_STATUS_CONFLICT; in ppAssert()
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dnon_clausal_simp.cpp202 case Theory::PP_ASSERT_STATUS_CONFLICT: in applyInternal()
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A Dtheory_sets_private.cpp2259 status = Theory::PP_ASSERT_STATUS_CONFLICT; in ppAssert()