| _action | delta_base | [protected] |
| add_new(model *__m) | dag_delta | [inline] |
| add_new(model &__m) | dag_delta | [inline] |
| apply(work_node &x, undelta_base *&_u) const | dag_delta | [virtual] |
| apply3(work_node &_x, const work_node &_y, undelta_base *&_u) const | delta_base | [inline, virtual] |
| convert(work_node &_x, delta_base *&_d) | delta_base | [inline, virtual] |
| dag_delta(const std::string &__a, bool full=false) | dag_delta | [inline] |
| dag_delta(const std::string &__a, model *__nc, bool full=false) | dag_delta | [inline] |
| dag_delta(const dag_delta &__d) | dag_delta | [inline] |
| dag_undelta class | dag_delta | [friend] |
| 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(dag_delta *__d) | dag_delta | [inline] |
| delta_base::destroy_copy(delta_base *__d) | delta_base | [inline, virtual] |
| get_action() const | delta_base | [inline] |
| is_full_delta | dag_delta | |
| make_delta(const std::string &a) | delta_base | [inline] |
| new_constraints | dag_delta | |
| new_copy() const | dag_delta | [inline, virtual] |
| remove(const walker &_nn) | dag_delta | [inline] |
| remove(const std::vector< walker > &_nn) | dag_delta | [inline] |
| rm_nodes | dag_delta | |
| ~dag_delta() | dag_delta | [inline] |
| ~delta_base() | delta_base | [inline, virtual] |
