Supporting at-most-one constraint for One Hot encoding

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

diff --git a/src/AST/astops.h b/src/AST/astops.h
index 04b4c839e034e0bd6017a61dabd61f7deb3cee2b..0cb308b0634617260889bd20155872f75546344f 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -28,6 +28,11 @@ typedef enum ElementEncodingType ElementEncodingType;
 enum BooleanVarOrdering {CONSTRAINTORDERING=0, ELEMENTORDERING=1, REVERSEORDERING=2};
 typedef enum BooleanVarOrdering BooleanVarOrdering;
 
+enum AMOOneHot {
+       ONEHOT_BINOMIAL, ONEHOT_COMMANDER, ONEHOT_SEQ_COUNTER 
+};
+typedef enum AMOOneHot AMOOneHot;
+
 Polarity negatePolarity(Polarity This);
 bool impliesPolarity(Polarity curr, Polarity goal);