Edit

[satune.git] / src / AST / astops.h

diff --git a/src/AST/astops.h b/src/AST/astops.h
index d4e185d1498483d944fd4852c14f827fae8c5cdd..04b4c839e034e0bd6017a61dabd61f7deb3cee2b 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -17,11 +17,21 @@ typedef enum Polarity Polarity;
 enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3};
 typedef enum BooleanValue BooleanValue;
 
+extern const char *elemEncTypeNames[];
+
 enum ElementEncodingType {
        ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, BINARYVAL
 };
 
 typedef enum ElementEncodingType ElementEncodingType;
 
+enum BooleanVarOrdering {CONSTRAINTORDERING=0, ELEMENTORDERING=1, REVERSEORDERING=2};
+typedef enum BooleanVarOrdering BooleanVarOrdering;
+
+Polarity negatePolarity(Polarity This);
+bool impliesPolarity(Polarity curr, Polarity goal);
+
+
+
 
 #endif