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