Searched defs:areEqual (Results 1 – 2 of 2) sorted by relevance
390 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual() function in ProgramState
2574 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass2581 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass