Edit

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

diff --git a/src/AST/astops.h b/src/AST/astops.h
index 97d2c28e3b92cc3e97bbc9d63455266d91d09232..04b4c839e034e0bd6017a61dabd61f7deb3cee2b 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -25,6 +25,9 @@ enum ElementEncodingType {
 
 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);