Added code to compute maximum sizes of sets. So we can eliminate set removes
authorbdemsky <bdemsky>
Sat, 17 Apr 2004 00:30:28 +0000 (00:30 +0000)
committerbdemsky <bdemsky>
Sat, 17 Apr 2004 00:30:28 +0000 (00:30 +0000)
commit8098bc30c0b85814194cb8e53d62ffe5ffe318ef
treea227c556776ba81a4c68c8f125579edfc528ab7a
parent8e1a1ca9ba14c2cc2069638cf7f54af9786a6024
Added code to compute maximum sizes of sets.  So we can eliminate set removes
when they aren't necessary.
Repair/RepairCompiler/MCC/IR/ComputeMaxSize.java [new file with mode: 0755]
Repair/RepairCompiler/MCC/IR/Expr.java
Repair/RepairCompiler/MCC/IR/ExprPredicate.java
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
Repair/RepairCompiler/MCC/IR/InclusionPredicate.java
Repair/RepairCompiler/MCC/IR/OpExpr.java
Repair/RepairCompiler/MCC/IR/Predicate.java
Repair/RepairCompiler/MCC/IR/RepairGenerator.java
Repair/RepairCompiler/MCC/IR/Termination.java