Lines Matching refs:Arena
34 const Formula &Arena::makeAtomRef(Atom A) { in makeAtomRef()
41 const Formula &Arena::makeAnd(const Formula &LHS, const Formula &RHS) { in makeAnd()
54 const Formula &Arena::makeOr(const Formula &LHS, const Formula &RHS) { in makeOr()
67 const Formula &Arena::makeNot(const Formula &Val) { in makeNot()
78 const Formula &Arena::makeImplies(const Formula &LHS, const Formula &RHS) { in makeImplies()
91 const Formula &Arena::makeEquals(const Formula &LHS, const Formula &RHS) { in makeEquals()
104 IntegerValue &Arena::makeIntLiteral(llvm::APInt Value) { in makeIntLiteral()
112 BoolValue &Arena::makeBoolValue(const Formula &F) { in makeBoolValue()
122 const Formula *parse(Arena &A, llvm::StringRef &In) { in parse()
138 decltype(&Arena::makeOr) Op; in parse()
140 Op = &Arena::makeOr; in parse()
142 Op = &Arena::makeAnd; in parse()
144 Op = &Arena::makeImplies; in parse()
146 Op = &Arena::makeEquals; in parse()
202 llvm::Expected<const Formula &> Arena::parseFormula(llvm::StringRef In) { in parseFormula()