Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members   File Members  

infeasible_undelta Class Reference

#include <infeasible_delta.h>

Inheritance diagram for infeasible_undelta:

Inheritance graph
[legend]
Collaboration diagram for infeasible_undelta:

Collaboration graph
[legend]
List of all members.

Public Methods

 infeasible_undelta (bool _oi=false)
 infeasible_undelta (const infeasible_undelta &__d)
 ~infeasible_undelta ()
infeasible_undelta * new_copy () const
void destroy_copy (infeasible_undelta *__d)
bool unapply (work_node &_x) const
virtual void destroy_copy (undelta_base *__d)
undelta make_undelta ()
virtual bool unapply3 (work_node &_x, const work_node &_y) const

Constructor & Destructor Documentation

infeasible_undelta::infeasible_undelta bool    _oi = false [inline]
 

Definition at line 38 of file infeasible_delta.h.

infeasible_undelta::infeasible_undelta const infeasible_undelta &    __d [inline]
 

Definition at line 39 of file infeasible_delta.h.

infeasible_undelta::~infeasible_undelta   [inline]
 

Definition at line 47 of file infeasible_delta.h.


Member Function Documentation

virtual void undelta_base::destroy_copy undelta_base   __d [inline, virtual, inherited]
 

Definition at line 146 of file api_deltabase.h.

void infeasible_undelta::destroy_copy infeasible_undelta *    __d [inline]
 

Definition at line 50 of file infeasible_delta.h.

undelta undelta_base::make_undelta   [inline, inherited]
 

Definition at line 150 of file api_deltabase.h.

infeasible_undelta* infeasible_undelta::new_copy   const [inline, virtual]
 

Reimplemented from undelta_base.

Definition at line 49 of file infeasible_delta.h.

bool infeasible_undelta::unapply work_node   _x const [inline, virtual]
 

Reimplemented from undelta_base.

Definition at line 52 of file infeasible_delta.h.

bool undelta_base::unapply3 work_node   _x,
const work_node   _y
const [inline, virtual, inherited]
 

Definition at line 69 of file api_delta.h.


The documentation for this class was generated from the following file:
Generated on Tue Nov 4 01:59:15 2003 for COCONUT API by doxygen1.2.18