coco::infeasible_delta Class Reference
[Deltas]
The infeasible delta class for marking a model as infeasible.
More...
#include <infeasible_delta.h>
Public Member Functions | |
| infeasible_delta () | |
| infeasible_delta (const infeasible_delta &__d) | |
| ~infeasible_delta () | |
| infeasible_delta * | new_copy () const |
| void | destroy_copy (delta_base *__d) const |
| bool | apply (work_node &_x, undelta_base *&_u, const delta_id &_did) const |
| bool | operator== (const delta_base &_c) const |
| bool | operator!= (const delta_base &_c) const |
| bool | operator== (const infeasible_delta &_c) const |
| bool | operator!= (const infeasible_delta &_c) const |
| delta | make_delta (const std::string &a) |
| const std::string & | get_action () const |
| virtual void | convert (work_node &_x, delta_base *&_d) |
| virtual void | unkeep () |
| virtual bool | apply3 (work_node &_x, const work_node &_y, undelta_base *&_u, const delta_id &_d) const |
Protected Attributes | |
| std::string | _action |
Detailed Description
This class is used to mark a model as infeasible.Definition at line 81 of file infeasible_delta.h.
Constructor & Destructor Documentation
| coco::infeasible_delta::infeasible_delta | ( | ) | [inline] |
Standard Constructor
Definition at line 85 of file infeasible_delta.h.
| coco::infeasible_delta::infeasible_delta | ( | const infeasible_delta & | __d | ) | [inline] |
Standard Copy Constructor
Definition at line 87 of file infeasible_delta.h.
| coco::infeasible_delta::~infeasible_delta | ( | ) | [inline] |
Standard Destructor
Definition at line 95 of file infeasible_delta.h.
Member Function Documentation
| bool coco::infeasible_delta::apply | ( | work_node & | _x, | |
| undelta_base *& | _u, | |||
| const delta_id & | _did | |||
| ) | const [inline, virtual] |
Apply the delta with delta_id _d to work node _x, hereby marking the model as infeasible.
Reimplemented from coco::delta_base.
Definition at line 104 of file infeasible_delta.h.
| bool coco::delta_base::apply3 | ( | work_node & | _x, | |
| const work_node & | _y, | |||
| undelta_base *& | _u, | |||
| const delta_id & | _d | |||
| ) | const [inline, virtual, inherited] |
Apply the delta with delta_id _d to work node _x, constructing in the process work_node _y, without changing _x. In this process the undo information for this delta is stored in _u. 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 apply method.
Definition at line 88 of file api_delta.h.
| virtual void coco::delta_base::convert | ( | work_node & | _x, | |
| delta_base *& | _d | |||
| ) | [inline, virtual, inherited] |
Convert this delta to a delta which can be stored in _x, this is e.g. used for all delta version, which are actually stored as annotation changes.
Reimplemented in coco::table_delta.
Definition at line 189 of file api_deltabase.h.
| void coco::infeasible_delta::destroy_copy | ( | delta_base * | __d | ) | const [inline] |
Clone Destructor
Definition at line 100 of file infeasible_delta.h.
| const std::string& coco::delta_base::get_action | ( | ) | const [inline, inherited] |
Retrieve the action information (the delta type) for this delta.
Definition at line 184 of file api_deltabase.h.
| delta coco::delta_base::make_delta | ( | const std::string & | a | ) | [inline, inherited] |
Construct a delta from this delta_base with the action a.
Definition at line 175 of file api_deltabase.h.
| infeasible_delta* coco::infeasible_delta::new_copy | ( | ) | const [inline, virtual] |
Clone Operation
Reimplemented from coco::delta_base.
Definition at line 98 of file infeasible_delta.h.
| bool coco::infeasible_delta::operator!= | ( | const infeasible_delta & | _c | ) | const [inline] |
Definition at line 121 of file infeasible_delta.h.
| bool coco::infeasible_delta::operator!= | ( | const delta_base & | _c | ) | const [inline] |
Definition at line 115 of file infeasible_delta.h.
| bool coco::infeasible_delta::operator== | ( | const infeasible_delta & | _c | ) | const [inline] |
Comparison operators
Definition at line 120 of file infeasible_delta.h.
| bool coco::infeasible_delta::operator== | ( | const delta_base & | _c | ) | const [inline] |
Comparison operators
Definition at line 112 of file infeasible_delta.h.
| virtual void coco::delta_base::unkeep | ( | ) | [inline, virtual, inherited] |
Perform this operation when the delta is released (unkept) from a work_node.
Reimplemented in coco::dag_delta.
Definition at line 194 of file api_deltabase.h.
Member Data Documentation
std::string coco::delta_base::_action [protected, inherited] |
The action (type) of this delta
Definition at line 154 of file api_deltabase.h.
The documentation for this class was generated from the following file:
