#include "serializer.h"
class Boolean : public ASTNode {
+private:
+ static uint64_t counter;
public:
Boolean(ASTNodeType _type);
virtual ~Boolean() {}
virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}
Polarity polarity;
BooleanValue boolVal;
- Vector<Boolean *> parents;
+ Vector<ASTNode *> parents;
virtual void updateParents() {}
-
+ 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;