coco::undelta_base Class Reference
[Deltas]

Base class for the undeltas. More...

#include <api_deltabase.h>

Inheritance diagram for coco::undelta_base:

Inheritance graph
[legend]

List of all members.

Public Member Functions

 undelta_base ()
 undelta_base (const undelta_base &__d)
virtual undelta_basenew_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


Detailed Description

Base class for the undeltas, which is wrapped by the undelta class since copy constructors cannot directly be overloaded.

Definition at line 266 of file api_deltabase.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.


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

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