class StandardCommunityHighLowExprs extends CommunityExpr {

  @Override
  public boolean equals(Object obj) {
    if (this == obj) {
      return true;
    }
    if (!(obj instanceof StandardCommunityHighLowExprs)) {
      return false;
    }
    StandardCommunityHighLowExprs rhs = (StandardCommunityHighLowExprs) obj;
    return _highExpr.equals(rhs._highExpr) && _lowExpr.equals(rhs._lowExpr);
  }

  public  StandardCommunityHighLowExprs(IntExpr highExpr, IntExpr lowExpr);

}