class CommunitySetDifference extends CommunitySetExpr {

  @Override
  public boolean equals(@Nullable Object obj) {
    if (this == obj) {
      return true;
    }
    if (!(obj instanceof CommunitySetDifference)) {
      return false;
    }
    CommunitySetDifference rhs = (CommunitySetDifference) obj;
    return _initial.equals(rhs._initial) && _removalCriterion.equals(rhs._removalCriterion);
  }

  public  CommunitySetDifference(CommunitySetExpr initial, CommunityMatchExpr removalCriterion);

}