| _action | delta_base | [protected] |
| apply(work_node &_x, undelta_base *&_u) const | bound_delta | [virtual] |
| apply3(work_node &_x, const work_node &_y, undelta_base *&_u) const | delta_base | [inline, virtual] |
| bound_delta(const std::vector< unsigned int > &__i, const std::vector< interval > &__b) | bound_delta | [inline] |
| bound_delta(unsigned int __i, interval __b) | bound_delta | [inline] |
| bound_delta(const bound_delta &__d) | bound_delta | [inline] |
| convert(work_node &_x, delta_base *&_d) | delta_base | [inline, virtual] |
| delta_base() | delta_base | [inline] |
| delta_base(const std::string &a) | delta_base | [inline] |
| delta_base(const char *a) | delta_base | [inline] |
| delta_base(const delta_base &__d) | delta_base | [inline] |
| destroy_copy(bound_delta *__d) | bound_delta | [inline] |
| delta_base::destroy_copy(delta_base *__d) | delta_base | [inline, virtual] |
| get_action() const | delta_base | [inline] |
| indices | bound_delta | |
| make_delta(const std::string &a) | delta_base | [inline] |
| new_copy() const | bound_delta | [inline, virtual] |
| new_f_bounds | bound_delta | |
| ~delta_base() | delta_base | [inline, virtual] |
