Home
last modified time | relevance | path

Searched refs:Biconditional (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h46 Biconditional, enumerator
90 Val->getKind() == Kind::Biconditional; in classof()
198 : BoolValue(Kind::Biconditional), LeftSubVal(LeftSubVal), in BiconditionalValue()
202 return Val->getKind() == Kind::Biconditional; in classof()
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDebugSupport.cpp106 case Value::Kind::Biconditional: { in debugString()
H A DDataflowAnalysisContext.cpp281 case Value::Kind::Biconditional: { in substituteBoolValue()
H A DWatchedLiteralsSolver.cpp230 case Value::Kind::Biconditional: { in buildBooleanFormula()