#include <api_deltabase.h>
Inheritance diagram for delta_base:
Public Methods | |
delta_base () | |
delta_base (const std::string &a) | |
delta_base (const char *a) | |
delta_base (const delta_base &__d) | |
virtual delta_base * | new_copy () const |
virtual void | destroy_copy (delta_base *__d) |
virtual | ~delta_base () |
delta | make_delta (const std::string &a) |
const std::string & | get_action () const |
virtual void | convert (work_node &_x, delta_base *&_d) |
virtual bool | apply (work_node &_x, undelta_base *&_u) const |
virtual bool | apply3 (work_node &_x, const work_node &_y, undelta_base *&_u) const |
Protected Attributes | |
std::string | _action |
|
Definition at line 89 of file api_deltabase.h. |
|
Definition at line 90 of file api_deltabase.h. |
|
Definition at line 91 of file api_deltabase.h. |
|
Definition at line 92 of file api_deltabase.h. |
|
Definition at line 97 of file api_deltabase.h. |
|
Reimplemented in annotation_delta, bound_delta, boxes_delta, dag_delta, infeasible_delta, point_delta, semantics_delta, split_delta, and table_delta. Definition at line 110 of file api_deltabase.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 105 of file api_deltabase.h. |
|
Definition at line 99 of file api_deltabase.h. |
|
Reimplemented in annotation_delta, bound_delta, boxes_delta, dag_delta, infeasible_delta, point_delta, semantics_delta, split_delta, and table_delta. Definition at line 94 of file api_deltabase.h. |
|
Definition at line 86 of file api_deltabase.h. |