#include <api_deltabase.h>
Inheritance diagram for undelta_base:
Public Methods | |
undelta_base () | |
undelta_base (const undelta_base &__d) | |
virtual undelta_base * | new_copy () const |
virtual void | destroy_copy (undelta_base *__d) |
virtual | ~undelta_base () |
undelta | make_undelta () |
virtual bool | unapply (work_node &_x) const |
virtual bool | unapply3 (work_node &_x, const work_node &_y) const |
|
Definition at line 142 of file api_deltabase.h. |
|
Definition at line 143 of file api_deltabase.h. |
|
Definition at line 148 of file api_deltabase.h. |
|
Definition at line 146 of file api_deltabase.h. |
|
Definition at line 150 of file api_deltabase.h. |
|
Reimplemented in annotation_undelta, bound_undelta, dag_undelta, infeasible_undelta, semantics_undelta, and split_undelta. Definition at line 145 of file api_deltabase.h. |
|
Reimplemented in annotation_undelta, bound_undelta, dag_undelta, infeasible_undelta, semantics_undelta, and split_undelta. Definition at line 156 of file api_deltabase.h. |
|
Definition at line 69 of file api_delta.h. |