+ virtual Boolean *clone(CSolver *solver, CloneMap *map) = 0;
+ virtual void serialize(Serializer * ) = 0;
+ virtual void print() = 0;
+ virtual bool isTrue() {return boolVal == BV_MUSTBETRUE;}
+ virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}