#include "serializer.h"
class Boolean : public ASTNode {
+private:
+ static uint64_t counter;
public:
Boolean(ASTNodeType _type);
virtual ~Boolean() {}
BooleanValue boolVal;
Vector<Boolean *> parents;
virtual void updateParents() {}
-
+ uint64_t id;
CMEMALLOC;
};
Boolean *clone(CSolver *solver, CloneMap *map);
void serialize(Serializer *serializer );
virtual void print();
+ void updateParents();
Order *order;
uint64_t first;