17 static std::pair<const Formula *, const Formula *>
18 canonicalFormulaPair(const Formula &LHS, const Formula &RHS) {  in canonicalFormulaPair()
26 const Formula &cached(llvm::DenseMap<Key, const Formula *> &Cache, Key K,  in cached()
34 const Formula &Arena::makeAtomRef(Atom A) {  in makeAtomRef()
36     return &Formula::create(Alloc, Formula::AtomRef, {},  in makeAtomRef()
41 const Formula &Arena::makeAnd(const Formula &LHS, const Formula &RHS) {  in makeAnd()
45     if (LHS.kind() == Formula::Literal)  in makeAnd()
47     if (RHS.kind() == Formula::Literal)  in makeAnd()
50     return &Formula::create(Alloc, Formula::And, {&LHS, &RHS});  in makeAnd()
54 const Formula &Arena::makeOr(const Formula &LHS, const Formula &RHS) {  in makeOr()
58     if (LHS.kind() == Formula::Literal)  in makeOr()
60     if (RHS.kind() == Formula::Literal)  in makeOr()
63     return &Formula::create(Alloc, Formula::Or, {&LHS, &RHS});  in makeOr()
67 const Formula &Arena::makeNot(const Formula &Val) {  in makeNot()
69     if (Val.kind() == Formula::Not)  in makeNot()
71     if (Val.kind() == Formula::Literal)  in makeNot()
74     return &Formula::create(Alloc, Formula::Not, {&Val});  in makeNot()
78 const Formula &Arena::makeImplies(const Formula &LHS, const Formula &RHS) {  in makeImplies()
82     if (LHS.kind() == Formula::Literal)  in makeImplies()
84     if (RHS.kind() == Formula::Literal)  in makeImplies()
87     return &Formula::create(Alloc, Formula::Implies, {&LHS, &RHS});  in makeImplies()
91 const Formula &Arena::makeEquals(const Formula &LHS, const Formula &RHS) {  in makeEquals()
95     if (LHS.kind() == Formula::Literal)  in makeEquals()
97     if (RHS.kind() == Formula::Literal)  in makeEquals()
100     return &Formula::create(Alloc, Formula::Equal, {&LHS, &RHS});  in makeEquals()
112 BoolValue &Arena::makeBoolValue(const Formula &F) {  in makeBoolValue()
115     It->second = (F.kind() == Formula::AtomRef)  in makeBoolValue()
122 const Formula *parse(Arena &A, llvm::StringRef &In) {  in parse()
179   std::string Formula;  member in clang::dataflow::__anon24812e4b0711::FormulaParseError
184   FormulaParseError(llvm::StringRef Formula, unsigned Offset)  in FormulaParseError()  argument
185       : Formula(Formula), Offset(Offset) {}  in FormulaParseError()
189     OS << Formula << "\n";  in log()
202 llvm::Expected<const Formula &> Arena::parseFormula(llvm::StringRef In) {  in parseFormula()