_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] |