fix spacing with make tabbing

[satcheck.git] / branchrecord.h

diff --git a/branchrecord.h b/branchrecord.h
index aa5e4a27512ab7fb397af85a3348cb37fa2619ed..1cc1152ce05c806a291bfda62b8c0b76c58dbe5d 100644 (file)
--- a/branchrecord.h
+++ b/branchrecord.h
@@ -12,7 +12,7 @@
 #include "classlist.h"
 
 class BranchRecord {
 #include "classlist.h"
 
 class BranchRecord {

- public:
+public:

        BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
        ~BranchRecord();
        Constraint * getAnyBranch();
        BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
        ~BranchRecord();
        Constraint * getAnyBranch();


@@ -22,12 +22,12 @@ class BranchRecord {
        int numDirections() {return numdirections;}
        bool hasNextRecord() {return hasNext;}
        MEMALLOC;
        int numDirections() {return numdirections;}
        bool hasNextRecord() {return hasNext;}
        MEMALLOC;

- private:
-  EPRecord *branch;
+private:
+       EPRecord *branch;

        bool hasNext;
        bool hasNext;

-  uint numvars;
+       uint numvars;

        uint numdirections;
        bool alwaysexecuted;
        uint numdirections;
        bool alwaysexecuted;

-  Constraint **vars;
+       Constraint **vars;

 };
 #endif
 };
 #endif