Lines Matching full:puremeet
658 // operation is implemented in MeetBDVStates::pureMeet
677 assert((pureMeet(LHS, RHS) == pureMeet(RHS, LHS)) &&
679 BDVState Result = pureMeet(LHS, RHS);
685 static BDVState pureMeet(const BDVState &stateA, const BDVState &stateB) {
