Remove unimplemented enum
authorbdemsky <bdemsky@uci.edu>
Mon, 11 Sep 2017 21:28:25 +0000 (14:28 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 11 Sep 2017 21:28:25 +0000 (14:28 -0700)
src/AST/astops.h
src/ASTAnalyses/Encoding/encodinggraph.cc
src/Backend/satelemencoder.cc
src/Translator/sattranslator.cc

index e3c5963..8ddbdd1 100644 (file)
@@ -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;
index f01958b..b2cac1a 100644 (file)
@@ -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) {
index ed761e3..7dcb5de 100644 (file)
@@ -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;
index bdcd196..792d58b 100644 (file)
@@ -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);