Home
last modified time | relevance | path

Searched defs:Disjunction (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h43 Disjunction, enumerator
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDebugSupportTest.cpp55 TEST(BoolValueDebugStringTest, Disjunction) { in TEST() argument
H A DTypeErasedDataflowAnalysisTest.cpp870 TEST_F(FlowConditionTest, Disjunction) { in TEST_F() argument