Lines Matching full:formula
19 #include "clang/Analysis/FlowSensitive/Formula.h"
136 void DataflowAnalysisContext::addInvariant(const Formula &Constraint) { in addInvariant()
144 Atom Token, const Formula &Constraint) { in addFlowConditionConstraint()
172 llvm::SetVector<const Formula *> Constraints) { in querySolver()
177 const Formula &F) { in flowConditionImplies()
186 llvm::SetVector<const Formula *> Constraints; in flowConditionImplies()
194 const Formula &F) { in flowConditionAllows()
198 llvm::SetVector<const Formula *> Constraints; in flowConditionAllows()
205 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1, in equivalentFormulas()
206 const Formula &Val2) { in equivalentFormulas()
207 llvm::SetVector<const Formula *> Constraints; in equivalentFormulas()
213 Atom Token, llvm::SetVector<const Formula *> &Constraints) { in addTransitiveFlowConditionConstraints()
256 llvm::SetVector<const Formula *> Constraints; in dumpFlowCondition()
262 llvm::SetVector<const Formula *> OriginalConstraints = Constraints; in dumpFlowCondition()