equal
deleted
inserted
replaced
942 def rs1_subseteq_rs2(rs1: Set[Rexp], rs2: Set[Rexp]) : Boolean = |
942 def rs1_subseteq_rs2(rs1: Set[Rexp], rs2: Set[Rexp]) : Boolean = |
943 //rs1 \subseteq rs2 |
943 //rs1 \subseteq rs2 |
944 rs1.forall(rs2.contains) |
944 rs1.forall(rs2.contains) |
945 |
945 |
946 def prune6(acc: Set[Rexp], r: ARexp, ctx: List[Rexp] = Nil) : ARexp = { |
946 def prune6(acc: Set[Rexp], r: ARexp, ctx: List[Rexp] = Nil) : ARexp = { |
947 // if (erase(r) == ONE && acc != Set()) |
|
948 // { |
|
949 // println("ctx") |
|
950 // rsprint(ctx) |
|
951 // println("acc") |
|
952 // rsprint(acc) |
|
953 // println("acc-end") |
|
954 // } |
|
955 if (ABIncludedByC(a = r, b = ctx, c = acc, |
947 if (ABIncludedByC(a = r, b = ctx, c = acc, |
956 f = attachCtx, subseteqPred = rs1_subseteq_rs2)) |
948 f = attachCtx, subseteqPred = rs1_subseteq_rs2)) |
957 { |
949 { |
958 AZERO |
950 AZERO |
959 } |
951 } |