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