Big Tabbing Change

[satune.git] / src / Encoders / polarityassignment.h

diff --git a/src/Encoders/polarityassignment.h b/src/Encoders/polarityassignment.h
index 93595fddeb837db7f7ee885162d93ef3ba26a9a9..6621d773617b228b1c0a39afb71b4662bde54364 100644 (file)
--- a/src/Encoders/polarityassignment.h
+++ b/src/Encoders/polarityassignment.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   polarityassignment.h
  * Author: hamed
  *
@@ -13,18 +13,15 @@
 #include "ops.h"
 #include "boolean.h"
 
-void assignPolarityAndBooleanValue(Boolean* boolean);
-void assignPolarityAndBooleanValue(Boolean* boolean);
-void assignPredicatePolarityAndBooleanValue(Boolean* boolean);
-void assignLogicOpPolarityAndBooleanValue(Boolean* boolean);
-void computeLogicOpPolarity(Boolean* boolean);
-void computeLogicOpBooleanValue(Boolean* boolean);
-void computeImplicationBooleanValue(Boolean* first, Boolean* second, BooleanValue parent);
-void computePolarityAndBooleanValue(Boolean* boolean);
-void computePredicatePolarityAndBooleanValue(Boolean* boolean);
-void computeLogicOpPolarityAndBooleanValue(Boolean* boolean);
-BooleanValue computeBooleanValue(LogicOp op, BooleanValue childVal, BooleanValue parentVal );
-Polarity computePolarity(Polarity childPol, Polarity parentPol);
+void computePolarities(CSolver *This);
+void updatePolarity(Boolean *This, Polarity polarity);
+void updateMustValue(Boolean *This, BooleanValue value);
+void computePolarityAndBooleanValue(Boolean *boolean);
+void computePredicatePolarityAndBooleanValue(BooleanPredicate *This);
+void computeLogicOpPolarityAndBooleanValue(BooleanLogic *boolean);
+Polarity negatePolarity(Polarity This);
+BooleanValue negateBooleanValue(BooleanValue This);
+void computeLogicOpPolarity(BooleanLogic *boolean);
+void computeLogicOpBooleanValue(BooleanLogic *boolean);
 
-
-#endif /* POLARITYASSIGNMENT_H */
+#endif/* POLARITYASSIGNMENT_H */