コード例 #1
0
ファイル: PTFamily.java プロジェクト: Jiacheng10/RESOLVE 
  private static PExp normalize(TypeGraph g, Exp original) {
    if (original == null) {
      original = g.getTrueVarExp();
    }

    original = Utilities.applyQuantification(original);

    return PExp.buildPExp(original);
  }