projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bug in the freeciv spec.
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
DNFPredicate.java
diff --git
a/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
index a1e5a65b45df55e3d71a4dc378f909d09cfb811b..cf7e16188507d55f6e954e437fa5b490e7b8b15e 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/IR/DNFPredicate.java
+++ b/
Repair/RepairCompiler/MCC/IR/DNFPredicate.java
@@
-15,6
+15,14
@@
public class DNFPredicate {
this.negate=negate;
this.predicate=predicate;
}
+ String name() {
+ String name="";
+ if (this.negate)
+ name+="!";
+ name+=predicate.name();
+ return name;
+ }
+
void negatePred() {
negate=!negate;
}