projects
/
repair.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Update virtual pointers for C++ code...Various fixes to emit extern declarations.
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
DNFPredicate.java
1
package MCC.IR;
2
3
public class DNFPredicate {
4
boolean negate;
5
Predicate predicate;
6
7
public DNFPredicate(DNFPredicate dp) {
8
this.negate=dp.negate;
9
this.predicate=dp.predicate;
10
}
11
Predicate getPredicate() {
12
return predicate;
13
}
14
public DNFPredicate(boolean negate,Predicate predicate) {
15
this.negate=negate;
16
this.predicate=predicate;
17
}
18
String name() {
19
String name="";
20
if (this.negate)
21
name+="!";
22
name+=predicate.name();
23
return name;
24
}
25
26
void negatePred() {
27
negate=!negate;
28
}
29
30
boolean isNegated() {
31
return negate;
32
}
33
}