#include <api_deltabase.h>

Public Member Functions | |
| undelta_base () | |
| undelta_base (const undelta_base &__d) | |
| virtual undelta_base * | new_copy () const PURE_VIRTUALvirtual void destroy_copy(undelta_base *__d) const PURE_VIRTUALvirtual~undelta_base() |
| undelta | make_undelta () |
| virtual bool | unapply (work_node &_x, const delta_id &_d) const |
| virtual bool | unapply3 (work_node &_x, const work_node &_y, const delta_id &_d) const |
Definition at line 266 of file api_deltabase.h.
| coco::undelta_base::undelta_base | ( | ) | [inline] |
Standard Constructor
Definition at line 270 of file api_deltabase.h.
| coco::undelta_base::undelta_base | ( | const undelta_base & | __d | ) | [inline] |
Standard Copy Constructor, which is usually not used.
Definition at line 272 of file api_deltabase.h.
| undelta coco::undelta_base::make_undelta | ( | ) | [inline] |
Construct an undelta from this undelta_base.
Definition at line 283 of file api_deltabase.h.
| virtual undelta_base* coco::undelta_base::new_copy | ( | ) | const [inline, virtual] |
Clone Operation, which can be overloaded Clone Destructor Standard Destructor
Reimplemented in coco::annotation_undelta, coco::bound_undelta, coco::dag_undelta, coco::infeasible_undelta, coco::semantics_undelta, and coco::split_undelta.
Definition at line 275 of file api_deltabase.h.
| virtual bool coco::undelta_base::unapply | ( | work_node & | _x, | |
| const delta_id & | _d | |||
| ) | const [inline, virtual] |
Undo the delta with delta_id _i in work node _x
Reimplemented in coco::annotation_undelta, coco::bound_undelta, coco::dag_undelta, coco::infeasible_undelta, coco::semantics_undelta, and coco::split_undelta.
Definition at line 290 of file api_deltabase.h.
| bool coco::undelta_base::unapply3 | ( | work_node & | _x, | |
| const work_node & | _y, | |||
| const delta_id & | _d | |||
| ) | const [inline, virtual] |
Undo the delta with delta_id _d in work node _x, constructing in the process work_node _y, without changing _x. This method should be overloaded in the specializations of this class for maximal efficiency, but it need not since a standard procedure is available, which uses the work_node copy constructur and the unapply method.
Definition at line 94 of file api_delta.h.
1.5.8