coco::infeasible_undelta Class Reference
[Deltas]

The infeasible undelta class for undoing changes to the feasibility of a model. More...

#include <infeasible_delta.h>

Inheritance diagram for coco::infeasible_undelta:

Inheritance graph
[legend]
Collaboration diagram for coco::infeasible_undelta:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 infeasible_undelta (bool _oi=false)
 infeasible_undelta (const infeasible_undelta &__d)
 ~infeasible_undelta ()
infeasible_undeltanew_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


Detailed Description

This class is used to specify undo information for changes to the feasibility status of a model. This class undoes the apply of a infeasible_delta.

Definition at line 41 of file infeasible_delta.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.


The documentation for this class was generated from the following file:

Generated on Tue Feb 9 14:49:13 2010 for COCONUT API by  doxygen 1.5.8