#include <infeasible_delta.h>
Public Member Functions | |
infeasible_undelta (bool _oi=false) | |
infeasible_undelta (const infeasible_undelta &__d) | |
~infeasible_undelta () | |
infeasible_undelta * | new_copy () const |
void | destroy_copy (undelta_base *__d) const |
bool | unapply (work_node &_x, const delta_id &_did) const |
undelta | make_undelta () |
virtual bool | unapply3 (work_node &_x, const work_node &_y, const delta_id &_d) const |
Definition at line 41 of file infeasible_delta.h.
coco::infeasible_undelta::infeasible_undelta | ( | bool | _oi = false |
) | [inline] |
Constructor initializing old_infeasible with _oi
Definition at line 50 of file infeasible_delta.h.
coco::infeasible_undelta::infeasible_undelta | ( | const infeasible_undelta & | __d | ) | [inline] |
Standard Copy Constructor
Definition at line 52 of file infeasible_delta.h.
coco::infeasible_undelta::~infeasible_undelta | ( | ) | [inline] |
Standard Destructor
Definition at line 61 of file infeasible_delta.h.
void coco::infeasible_undelta::destroy_copy | ( | undelta_base * | __d | ) | const [inline] |
Clone Destructor
Definition at line 66 of file infeasible_delta.h.
undelta coco::undelta_base::make_undelta | ( | ) | [inline, inherited] |
Construct an undelta from this undelta_base.
Definition at line 283 of file api_deltabase.h.
infeasible_undelta* coco::infeasible_undelta::new_copy | ( | ) | const [inline, virtual] |
Clone Operation
Reimplemented from coco::undelta_base.
Definition at line 64 of file infeasible_delta.h.
bool coco::infeasible_undelta::unapply | ( | work_node & | _x, | |
const delta_id & | _did | |||
) | const [inline, virtual] |
Undo the infeasible_delta with delta_id _i
in work node _x
Reimplemented from coco::undelta_base.
Definition at line 69 of file infeasible_delta.h.
bool coco::undelta_base::unapply3 | ( | work_node & | _x, | |
const work_node & | _y, | |||
const delta_id & | _d | |||
) | const [inline, virtual, inherited] |
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.