Not_condition* Not_condition::copy( Condition_list_base* parent_P ) const { Not_condition* ret = new Not_condition( parent_P ); if( condition()) ret->append( condition()->copy( ret )); return ret; }
Not_condition* Not_condition::copy() const { Not_condition* ret = new Not_condition(); if (!isEmpty()) { ret->append(condition()->copy()); } return ret; }