Beispiel #1
0
  private static PExp normalize(TypeGraph g, Exp original) {
    if (original == null) {
      original = g.getTrueVarExp();
    }

    original = Utilities.applyQuantification(original);

    return PExp.buildPExp(original);
  }