Java Exp.remember Examples

Example #1

File: QuantExp.java Project: RSRGDeveloper/RESOLVE

  public Exp remember() {
    if (where instanceof OldExp) this.setWhere(((OldExp) (where)).getExp());
    if (body instanceof OldExp) this.setBody(((OldExp) (body)).getExp());

    if (where != null) where = where.remember();
    if (body != null) body = body.remember();

    return this;
  }