X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fastops.h;h=a451c5f5cdc023797c59f21afd28e1b3fe1d77a5;hp=97d2c28e3b92cc3e97bbc9d63455266d91d09232;hb=e0ee8656d201f77504bd239612969ce43636c324;hpb=e80028bf761f04dd410b45d1dadc0b8b5fd5817e

diff --git a/src/AST/astops.h b/src/AST/astops.h
index 97d2c28..a451c5f 100644
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -25,6 +25,9 @@ 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);