---

infeasible_undelta Class Reference

#include <infeasible_delta.h>

Inheritance diagram for infeasible_undelta:

[legend]Collaboration diagram for infeasible_undelta:

[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:

• infeasible_delta.h

---