Lines Matching refs:Formula

134 void DataflowAnalysisContext::addInvariant(const Formula &Constraint) {  in addInvariant()
142     Atom Token, const Formula &Constraint) {  in addFlowConditionConstraint()
171     llvm::SetVector<const Formula *> Constraints) {  in querySolver()
176                                                    const Formula &F) {  in flowConditionImplies()
185   llvm::SetVector<const Formula *> Constraints;  in flowConditionImplies()
193                                                   const Formula &F) {  in flowConditionAllows()
197   llvm::SetVector<const Formula *> Constraints;  in flowConditionAllows()
204 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1,  in equivalentFormulas()
205                                                  const Formula &Val2) {  in equivalentFormulas()
206   llvm::SetVector<const Formula *> Constraints;  in equivalentFormulas()
212     Atom Token, llvm::SetVector<const Formula *> &Constraints) {  in addTransitiveFlowConditionConstraints()
255   llvm::SetVector<const Formula *> Constraints;  in dumpFlowCondition()
261   llvm::SetVector<const Formula *> OriginalConstraints = Constraints;  in dumpFlowCondition()