Improved precision of computation of maximum set sizes. Removed generation of
authorbdemsky <bdemsky>
Thu, 12 Aug 2004 21:41:40 +0000 (21:41 +0000)
committerbdemsky <bdemsky>
Thu, 12 Aug 2004 21:41:40 +0000 (21:41 +0000)
commit95271a46ce6573ff5532fda46561d2936cb25393
treeb915e83bb6b4503a454ed5587f774f4be5fa7752
parent816cfe472bc29b4a950e96e5ab8cddb4e24c1556
Improved precision of computation of maximum set sizes. Removed generation of
redundant rules by implicitschema.
Repair/RepairCompiler/MCC/IR/ComputeMaxSize.java
Repair/RepairCompiler/MCC/IR/Expr.java
Repair/RepairCompiler/MCC/IR/ImplicitSchema.java