112 |
* @param os |
* @param os |
113 |
* |
* |
114 |
*/ |
*/ |
115 |
std::ostream& put(std::ostream& os) |
std::ostream& put(std::ostream& os) const |
116 |
{ |
{ |
117 |
os << '(' << *__node1 << " and " << *__node2 << ')'; |
os << '(' << *__node1 << " and " << *__node2 << ')'; |
118 |
return os; |
return os; |
188 |
* @param os |
* @param os |
189 |
* |
* |
190 |
*/ |
*/ |
191 |
std::ostream& put(std::ostream& os) |
std::ostream& put(std::ostream& os) const |
192 |
{ |
{ |
193 |
os << '(' << *__node1 << " or " << *__node2 << ')'; |
os << '(' << *__node1 << " or " << *__node2 << ')'; |
194 |
return os; |
return os; |
262 |
* @param os |
* @param os |
263 |
* |
* |
264 |
*/ |
*/ |
265 |
std::ostream& put(std::ostream& os) |
std::ostream& put(std::ostream& os) const |
266 |
{ |
{ |
267 |
os << '!' << *__node; |
os << '!' << *__node; |
268 |
return os; |
return os; |
331 |
* @param os |
* @param os |
332 |
* |
* |
333 |
*/ |
*/ |
334 |
std::ostream& put(std::ostream& os) |
std::ostream& put(std::ostream& os) const |
335 |
{ |
{ |
336 |
os << *__leaf; |
os << *__leaf; |
337 |
return os; |
return os; |