Added code to correctly order checks...
authorbdemsky <bdemsky>
Thu, 22 Apr 2004 20:55:30 +0000 (20:55 +0000)
committerbdemsky <bdemsky>
Thu, 22 Apr 2004 20:55:30 +0000 (20:55 +0000)
commit7f5349f8ce0cad85a83e9485b3d083296f9f7737
treee93285f2333c36280f9b3aa7b9e109bc984a8db6
parent1ac19ae1b06036f6883e3a5f91b8a85ecab9ab72
Added code to correctly order checks...

Added code to search through sets for bindings of size 1.
Repair/RepairCompiler/MCC/IR/ConstraintDependence.java
Repair/RepairCompiler/MCC/IR/ExactSize.java
Repair/RepairCompiler/MCC/IR/RepairGenerator.java
Repair/RepairCompiler/MCC/IR/Termination.java
Repair/RepairCompiler/MCC/IR/UpdateNode.java