#include <infeasible_delta.h>
Inheritance diagram for infeasible_delta:
Public Methods | |
infeasible_delta () | |
infeasible_delta (const infeasible_delta &__d) | |
~infeasible_delta () | |
infeasible_delta * | new_copy () const |
void | destroy_copy (infeasible_delta *__d) |
bool | apply (work_node &_x, undelta_base *&_u) const |
virtual void | destroy_copy (delta_base *__d) |
delta | make_delta (const std::string &a) |
const std::string & | get_action () const |
virtual void | convert (work_node &_x, delta_base *&_d) |
virtual bool | apply3 (work_node &_x, const work_node &_y, undelta_base *&_u) const |
Protected Attributes | |
std::string | _action |
|
Definition at line 62 of file infeasible_delta.h. |
|
Definition at line 63 of file infeasible_delta.h. |
|
Definition at line 70 of file infeasible_delta.h. |
|
Reimplemented from delta_base. Definition at line 75 of file infeasible_delta.h. |
|
Definition at line 63 of file api_delta.h. |
|
Reimplemented in table_delta. Definition at line 107 of file api_deltabase.h. |
|
Definition at line 95 of file api_deltabase.h. |
|
Definition at line 73 of file infeasible_delta.h. |
|
Definition at line 105 of file api_deltabase.h. |
|
Definition at line 99 of file api_deltabase.h. |
|
Reimplemented from delta_base. Definition at line 72 of file infeasible_delta.h. |
|
Definition at line 86 of file api_deltabase.h. |