diff options
Diffstat (limited to 'src/generic/problemresolver/incremental_expression.cc')
-rw-r--r-- | src/generic/problemresolver/incremental_expression.cc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/generic/problemresolver/incremental_expression.cc b/src/generic/problemresolver/incremental_expression.cc index 619d84ba..1a3d16a4 100644 --- a/src/generic/problemresolver/incremental_expression.cc +++ b/src/generic/problemresolver/incremental_expression.cc @@ -91,11 +91,21 @@ bool and_e::get_value() return get_num_true() == get_children().size(); } +std::string and_e::get_name() +{ + return "and"; +} + bool or_e::get_value() { return get_num_true() > 0; } +std::string or_e::get_name() +{ + return "or"; +} + void not_e::child_modified(const cwidget::util::ref_ptr<expression<bool> > &child, bool old_value, bool new_value) @@ -107,3 +117,8 @@ bool not_e::get_value() { return !child->get_value(); } + +void not_e::dump(std::ostream &out) +{ + out << "~" << child; +} |