13 #ifndef CNormalLogicalItem_H__
14 #define CNormalLogicalItem_H__
51 virtual std::string
toString()
const;
virtual std::string toString() const
virtual CNormalBase * copy() const
bool setRight(const CNormalFraction &right)
CNormalFraction & getLeft()
bool setLeft(const CNormalFraction &left)
virtual ~CNormalLogicalItem()
CNormalLogicalItem & operator=(const CNormalLogicalItem &src)
bool operator==(const CNormalLogicalItem &rhs) const
std::ostream & operator<<(std::ostream &os, const CNormalLogicalItem &item)
bool operator<(const CNormalLogicalItem &rhs) const
CNormalFraction & getRight()