Remove unimplemented enum

diff --git a/src/AST/astops.h b/src/AST/astops.h
index e3c59630b92cc6ab150b70be4efecc197272c24f..8ddbdd11dff336c4df174bea0422ab0c479e431f 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -17,7 +17,7 @@ enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3
 typedef enum BooleanValue BooleanValue;
 
 enum ElementEncodingType {
-       ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, ONEHOTBINARY, BINARYVAL
+       ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, BINARYVAL
 };
 
 typedef enum ElementEncodingType ElementEncodingType;

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index f01958b6cec187b53f29fbbe4280e0c9ace1b313..b2cac1a2a5ffe18a653107344ea3550e89d1df90 100644 (file)
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -112,8 +112,6 @@ VarType EncodingNode::getType() {
        return s->getType();
 }
 
-//ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, ONEHOTBINARY, BINARYVAL
-
 static TunableDesc NodeEncodingType(ELEM_UNASSIGNED, BINARYVAL, ELEM_UNASSIGNED);
 
 EncodingNode * EncodingGraph::createNode(Element *e) {

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index ed761e3b62eabc8a28eb32cc85899bd20db1f1d5..7dcb5de6c10ebf7894e7946a14e6d431448430de 100644 (file)
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -13,9 +13,6 @@ Edge SATEncoder::getElementValueConstraint(Element *elem, uint64_t value) {
                return getElementValueUnaryConstraint(elem, value);
        case BINARYINDEX:
                return getElementValueBinaryIndexConstraint(elem, value);
-       case ONEHOTBINARY:
-               ASSERT(0);
-               break;
        case BINARYVAL:
                return getElementValueBinaryValueConstraint(elem, value);
                break;
@@ -138,8 +135,6 @@ void SATEncoder::generateElementEncoding(Element *element) {
        case UNARY:
                generateUnaryEncodingVars(encoding);
                return;
-       case ONEHOTBINARY:
-               return;
        case BINARYVAL:
                generateBinaryValueEncodingVars(encoding);
                return;

diff --git a/src/Translator/sattranslator.cc b/src/Translator/sattranslator.cc
index bdcd1967cbf452625dc7af666e645ef650a51716..792d58b38bc62f7370b253b68e65007bb7cd2e64 100644 (file)
--- a/src/Translator/sattranslator.cc
+++ b/src/Translator/sattranslator.cc
@@ -67,8 +67,6 @@ uint64_t getElementValueSATTranslator(CSolver *This, Element *element) {
                return getElementValueUnarySATTranslator(This, elemEnc);
        case BINARYINDEX:
                return getElementValueBinaryIndexSATTranslator(This, elemEnc);
-       case ONEHOTBINARY:
-               ASSERT(0);
                break;
        case BINARYVAL:
                ASSERT(0);