5 public class DNFFlagAtom {
6 private final FlagNode flag;
7 private final boolean negated;
9 public DNFFlagAtom(FlagNode flag, boolean negated) {
14 public FlagNode getFlagNode() {
18 public FlagDescriptor getFlag() {
19 return flag.getFlag();
22 public boolean getNegated() {
26 public String toString() {
28 return "!"+flag.toString();
30 return flag.toString();