13 #ifndef CNormalChoiceLogical_H__
14 #define CNormalChoiceLogical_H__
56 virtual std::string
toString()
const;
virtual ~CNormalChoiceLogical()
CNormalLogical * mpCondition
virtual CNormalBase * copy() const
const CNormalLogical & getCondition() const
const CNormalLogical & getFalseExpression() const
const CNormalLogical & getTrueExpression() const
bool setTrueExpression(const CNormalLogical &branch)
bool operator==(const CNormalChoiceLogical &rhs) const
bool setFalseExpression(const CNormalLogical &branch)
bool operator<(const CNormalChoiceLogical &rhs) const
bool setCondition(const CNormalLogical &cond)
std::ostream & operator<<(std::ostream &os, const CNormalChoiceLogical &choice)
static bool checkConditionTree(const CNormalBase &branch)
virtual std::string toString() const
CNormalChoiceLogical & operator=(const CNormalChoiceLogical &src)