@Override public UnaryStatement<PointsToSetVariable> makeEquation(PointsToSetVariable lhs, PointsToSetVariable rhs) { return new AssignEquation(lhs, rhs); }
@Override public boolean equals(Object o) { if (o instanceof AssignEquation) { AssignEquation other = (AssignEquation) o; return getLHS().equals(other.getLHS()) && getRightHandSide().equals(other.getRightHandSide()); } else { return false; } } }
@Override public boolean equals(Object o) { if (o instanceof AssignEquation) { AssignEquation other = (AssignEquation) o; return getLHS().equals(other.getLHS()) && getRightHandSide().equals(other.getRightHandSide()); } else { return false; } } }
@Override public UnaryStatement<PointsToSetVariable> makeEquation(PointsToSetVariable lhs, PointsToSetVariable rhs) { return new AssignEquation(lhs, rhs); }
if (as instanceof AssignEquation) { AssignEquation assign = (AssignEquation) as; PointsToSetVariable rhs = assign.getRightHandSide(); int rhsRep = pointsToMap.getRepresentative(pointsToMap.getIndex(rhs.getPointerKey())); if (rhsRep == rep) { if (as instanceof AssignEquation) { AssignEquation assign = (AssignEquation) as; PointsToSetVariable lhs = assign.getLHS(); int lhsRep = pointsToMap.getRepresentative(pointsToMap.getIndex(lhs.getPointerKey())); if (lhsRep == rep) {
if (as instanceof AssignEquation) { AssignEquation assign = (AssignEquation) as; PointsToSetVariable rhs = assign.getRightHandSide(); int rhsRep = pointsToMap.getRepresentative(pointsToMap.getIndex(rhs.getPointerKey())); if (rhsRep == rep) { if (as instanceof AssignEquation) { AssignEquation assign = (AssignEquation) as; PointsToSetVariable lhs = assign.getLHS(); int lhsRep = pointsToMap.getRepresentative(pointsToMap.getIndex(lhs.getPointerKey())); if (lhsRep == rep) {