Change tabbing for everything....

[IRC.git] / Robust / src / IR / Tree / DNFFlagAtom.java

diff --git a/Robust/src/IR/Tree/DNFFlagAtom.java b/Robust/src/IR/Tree/DNFFlagAtom.java
index 7055720086e15fe839a3608b0ce994988902a70e..f11b3f0cfadd1038210898516824f307314c7407 100644 (file)
--- a/Robust/src/IR/Tree/DNFFlagAtom.java
+++ b/Robust/src/IR/Tree/DNFFlagAtom.java
@@ -3,30 +3,30 @@ package IR.Tree;
 import IR.*;
 
 public class DNFFlagAtom {
-    private final FlagNode flag;
-    private final boolean negated;
+  private final FlagNode flag;
+  private final boolean negated;
 
-    public DNFFlagAtom(FlagNode flag, boolean negated) {
-       this.flag=flag;
-       this.negated=negated;
-    }
+  public DNFFlagAtom(FlagNode flag, boolean negated) {
+    this.flag=flag;
+    this.negated=negated;
+  }
 
-    public FlagNode getFlagNode() {
-       return flag;
-    }
+  public FlagNode getFlagNode() {
+    return flag;
+  }
 
-    public FlagDescriptor getFlag() {
-       return flag.getFlag();
-    }
+  public FlagDescriptor getFlag() {
+    return flag.getFlag();
+  }
 
-    public boolean getNegated() {
-       return negated;
-    }
+  public boolean getNegated() {
+    return negated;
+  }
 
-    public String toString() {
-       if (negated)
-           return "!"+flag.toString();
-       else
-           return flag.toString();
-    }
+  public String toString() {
+    if (negated)
+      return "!"+flag.toString();
+    else
+      return flag.toString();
+  }
 }