Lines Matching full:circle
192 // Neither lhs or rhs belong to an equivalence circle, so we form
193 // a new equivalnce circle of just lhs and rhs.
197 // lhs belongs to an equivalence circle, but rhs does not, so we link
198 // rhs into lhs' circle.
202 // rhs belongs to an equivlance circle, but lhs does not, so we link
203 // lhs into rhs' circle.
208 // them together to form one single, larger equivalnce circle.
