Incremental solver works and the test case passes

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

diff --git a/src/AST/element.h b/src/AST/element.h
index 91d677fc2b8726ff67aedcbda69338ac2b35c6ad..166078af6c6f08d730d59b44dc00c381dbc71450 100644 (file)
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -15,6 +15,8 @@ public:
        Vector<ASTNode *> parents;
        ElementEncoding encoding;
        inline ElementEncoding *getElementEncoding() { return &encoding; }
+       inline void freezeElement(){frozen = true;}
+       inline bool isFrozen(){return frozen;}
        virtual Element *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;};
        virtual void serialize(Serializer *serializer) = 0;
        virtual void print() = 0;
@@ -22,6 +24,7 @@ public:
        virtual Set *getRange() = 0;
        CMEMALLOC;
        bool anyValue;
+       bool frozen;
 };
 
 class ElementSet : public Element {