+ virtual void updateParents() {}
+ uint64_t id;
+ CMEMALLOC;
+};
+
+class BooleanConst : public Boolean {
+public:
+ BooleanConst(bool isTrue);
+ Boolean *clone(CSolver *solver, CloneMap *map);
+ bool isTrue() {return istrue;}
+ bool isFalse() {return !istrue;}
+ void serialize(Serializer *serializer ) {};
+ virtual void print();
+ bool istrue;
+ CMEMALLOC;