edit

[satune.git] / src / ASTAnalyses / Polarity / polarityassignment.h

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.h b/src/ASTAnalyses/Polarity/polarityassignment.h
index 8873ef247f6ae1238c745ab7fb8b070c77effbad..5cf345ca6ff1b22d299135e5805db190a842d324 100644 (file)
--- a/src/ASTAnalyses/Polarity/polarityassignment.h
+++ b/src/ASTAnalyses/Polarity/polarityassignment.h
@@ -12,14 +12,17 @@
 #include "common.h"
 #include "ops.h"
 #include "boolean.h"
+#include "element.h"
 
 void computePolarities(CSolver *This);
 bool updatePolarity(Boolean *This, Polarity polarity);
+void updateEdgePolarity(BooleanEdge dst, BooleanEdge src);
+void updateEdgePolarity(BooleanEdge dst, Polarity polarity);
 void updateMustValue(Boolean *This, BooleanValue value);
+void computeElement(Element *e);
 void computePolarity(Boolean *boolean, Polarity polarity);
 void computePredicatePolarity(BooleanPredicate *This);
 void computeLogicOpPolarity(BooleanLogic *boolean);
-Polarity negatePolarity(Polarity This);
 BooleanValue negateBooleanValue(BooleanValue This);
 Polarity computeLogicOpPolarityChildren(BooleanLogic *boolean);