edits

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

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.h b/src/ASTAnalyses/Polarity/polarityassignment.h
index ce5096fd4b5b1b71cfc3fbc55c1518f8d7aa09d8..5cf345ca6ff1b22d299135e5805db190a842d324 100644 (file)
--- a/src/ASTAnalyses/Polarity/polarityassignment.h
+++ b/src/ASTAnalyses/Polarity/polarityassignment.h
@@ -12,12 +12,14 @@
 #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);