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);