return 1;
}
+uint EncodingSubGraph::getEncoding(EncodingNode *n, uint64_t val) {
+ NodeValuePair nvp(n, val);
+ EncodingValue *ev = map.get(&nvp);
+ return ev->encoding;
+}
+
void EncodingSubGraph::solveEquals() {
Vector<EncodingValue *> toEncode;
Vector<bool> encodingArray;