Searched defs:areEqual (Results 1 – 3 of 3) sorted by relevance
373 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual() function in ProgramState
454 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual() function in SValBuilder
1868 inline Optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass