Restructure transforms a little and run make tabbing

[satune.git] / src / Translator / integerencorderresolver.cc

diff --git a/src/Translator/integerencorderresolver.cc b/src/Translator/integerencorderresolver.cc
index a9048ef9177d2530fcf01eb5b5f53453b0915302..4f6701879e6b8a9cc737967bbadc1c1113073dfd 100644 (file)
--- a/src/Translator/integerencorderresolver.cc
+++ b/src/Translator/integerencorderresolver.cc
@@ -1,8 +1,8 @@
 
-/* 
+/*
  * File:   integerencorderresolver.cpp
  * Author: hamed
- * 
+ *
  * Created on September 1, 2017, 4:58 PM
  */
 
@@ -10,7 +10,7 @@
 #include "integerencodingrecord.h"
 #include "sattranslator.h"
 
-IntegerEncOrderResolver::IntegerEncOrderResolver(CSolver* _solver, IntegerEncodingRecord* _ierecord):
+IntegerEncOrderResolver::IntegerEncOrderResolver(CSolver *_solver, IntegerEncodingRecord *_ierecord) :
        solver(_solver),
        ierecord(_ierecord)
 {
@@ -20,15 +20,15 @@ IntegerEncOrderResolver::~IntegerEncOrderResolver() {
 }
 
 
-HappenedBefore IntegerEncOrderResolver::resolveOrder(uint64_t first, uint64_t second){
-       Element* elem1 = ierecord->getOrderIntegerElement(solver, first, false);
-       if(elem1 == NULL)
+HappenedBefore IntegerEncOrderResolver::resolveOrder(uint64_t first, uint64_t second) {
+       Element *elem1 = ierecord->getOrderIntegerElement(solver, first, false);
+       if (elem1 == NULL)
                return SATC_UNORDERED;
-       Element* elem2 = ierecord->getOrderIntegerElement(solver, second, false);
-       if(elem2 == NULL)
+       Element *elem2 = ierecord->getOrderIntegerElement(solver, second, false);
+       if (elem2 == NULL)
                return SATC_UNORDERED;
-       
+
        uint64_t val1 = getElementValueSATTranslator(solver, elem1);
        uint64_t val2 = getElementValueSATTranslator(solver, elem2);
-       return val1 < val2? SATC_FIRST : val1> val2? SATC_SECOND: SATC_UNORDERED;
+       return val1 < val2 ? SATC_FIRST : val1> val2 ? SATC_SECOND : SATC_UNORDERED;
 }