Boolean Variable Ordering optimizations

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

diff --git a/src/AST/astops.h b/src/AST/astops.h
index c385ba5c4fd93d388f3d848b31ca441755cd9ac2..a451c5f5cdc023797c59f21afd28e1b3fe1d77a5 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -25,5 +25,13 @@ enum ElementEncodingType {
 
 typedef enum ElementEncodingType ElementEncodingType;
 
+enum BooleanVarOrdering {CONSTRAINTORDERING=0, CHORONOLOGICALORDERING=1, REVERSEORDERING=2};
+typedef enum BooleanVarOrdering BooleanVarOrdering;
+
+Polarity negatePolarity(Polarity This);
+bool impliesPolarity(Polarity curr, Polarity goal);
+
+
+
 
 #endif