projects
/
repair.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Change to the spec...missed a consistency property. Adding timing option.
[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
20
public Expr getExpr() {
21
return predicate;
22
}
23
24
public boolean getNegation() {
25
return negate;
26
}
27
}