class Boolean : public ASTNode {
private:
- static uint64_t counter;
+ static uint64_t counter;
public:
Boolean(ASTNodeType _type);
virtual ~Boolean() {}
BooleanValue boolVal;
Vector<ASTNode *> parents;
virtual void updateParents() {}
- uint64_t id;
+ uint64_t id;
CMEMALLOC;
};
Boolean *clone(CSolver *solver, CloneMap *map);
bool isTrue() {return istrue;}
bool isFalse() {return !istrue;}
- void serialize(Serializer *serializer ) {};
+ void serialize(Serializer *serializer );
virtual void print();
bool istrue;
CMEMALLOC;