#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.