#include <semantics_delta.h>


Public Member Functions | |
| semantics_undelta (const std::vector< unsigned int > &__i, const std::vector< uint32_t > &__s) | |
| semantics_undelta (const std::vector< unsigned int > &__i) | |
| semantics_undelta (const semantics_undelta &__d) | |
| semantics_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 |
Friends | |
| class | semantics_delta |
Definition at line 41 of file semantics_delta.h.
| coco::semantics_undelta::semantics_undelta | ( | const std::vector< unsigned int > & | __i, | |
| const std::vector< uint32_t > & | __s | |||
| ) | [inline] |
Constructor, setting indices to __i, the old_f_sem to __s.
Definition at line 55 of file semantics_delta.h.
| coco::semantics_undelta::semantics_undelta | ( | const std::vector< unsigned int > & | __i | ) | [inline] |
Constructor, setting indices to __i, and leaving old_f_sem empty.
Definition at line 61 of file semantics_delta.h.
| coco::semantics_undelta::semantics_undelta | ( | const semantics_undelta & | __d | ) | [inline] |
Standard Copy Constructor
Definition at line 65 of file semantics_delta.h.
| void coco::semantics_undelta::destroy_copy | ( | undelta_base * | __d | ) | const [inline] |
Clone Destructor
Definition at line 77 of file semantics_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.
| semantics_undelta* coco::semantics_undelta::new_copy | ( | ) | const [inline, virtual] |
Clone Operation
Reimplemented from coco::undelta_base.
Definition at line 75 of file semantics_delta.h.
Undo the semantics_delta with delta_id _i in work node _x
Reimplemented from coco::undelta_base.
Definition at line 253 of file semantics_delta.cc.
| 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.
friend class semantics_delta [friend] |
Definition at line 82 of file semantics_delta.h.
1.5.8