Searched refs:equivalentFormulas (Results 1 – 2 of 2) sorted by relevance
179 bool equivalentFormulas(const Formula &Val1, const Formula &Val2);
204 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1, in equivalentFormulas() function in clang::dataflow::DataflowAnalysisContext