projects
/
repair.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
ce039db35092ac86b0bf7d9a3303190e29530b9b
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
DNFExpr.java
1
package MCC.IR;
2
3
public class DNFExpr {
4
boolean negate;
5
Expr predicate;
6
7
public DNFExpr(DNFExpr dp) {
8
this.negate=dp.negate;
9
this.predicate=dp.predicate;
10
}
11
12
public DNFExpr(boolean negate,Expr predicate) {
13
this.negate=negate;
14
this.predicate=predicate;
15
}
16
void negatePred() {
17
negate=!negate;
18
}
19
}