IntWarningProp Class Reference

#include <warner.hh>

Collaboration diagram for IntWarningProp:

[legend]List of all members.

Public Member Functions
QECODE_EXPORT	IntWarningProp (Space *home, int v, IntView vv, Warner *f, bool fd=false)
QECODE_EXPORT	IntWarningProp (Space *home, bool share, IntWarningProp &p)
QECODE_EXPORT	~IntWarningProp (void)
virtual QECODE_EXPORT PropCost	cost (void) const
virtual QECODE_EXPORT ExecStatus	propagate (Space *home)
virtual QECODE_EXPORT Actor *	copy (Space *home, bool share)
Static Public Member Functions
static QECODE_EXPORT ExecStatus	warning (Space *home, int v, IntView vv, Warner *f)
static QECODE_EXPORT void	IntWarning (Space *home, int v, IntVar iv, Warner *f)
Private Attributes
int	var
Warner *	toWarn

---

Detailed Description

Definition at line 48 of file warner.hh.

---

Constructor & Destructor Documentation

IntWarningProp::IntWarningProp	(	Space *	home,
		int	v,
		IntView	vv,
		Warner *	f,
		bool	fd = false
	)

Definition at line 36 of file warner.cc.

References toWarn, and var.

Referenced by copy(), and warning().

IntWarningProp::IntWarningProp	(	Space *	home,
		bool	share,
		IntWarningProp &	p
	)

Definition at line 41 of file warner.cc.

References toWarn, and var.

IntWarningProp::~IntWarningProp

(

void

)

Definition at line 46 of file warner.cc.

---

Member Function Documentation

PropCost IntWarningProp::cost

(

void

)

const [virtual]

Definition at line 48 of file warner.cc.

ExecStatus IntWarningProp::propagate

(

Space *

home

)

[virtual]

Definition at line 50 of file warner.cc.

References toWarn, var, and Warner::warn().

Actor * IntWarningProp::copy	(	Space *	home,
		bool	share
	)			[virtual]

Definition at line 55 of file warner.cc.

References IntWarningProp().

ExecStatus IntWarningProp::warning	(	Space *	home,
		int	v,
		IntView	vv,
		Warner *	f
	)			[static]

Definition at line 57 of file warner.cc.

References IntWarningProp().

Referenced by IntWarning().

void IntWarningProp::IntWarning	(	Space *	home,
		int	v,
		IntVar	iv,
		Warner *	f
	)			[static]

Definition at line 62 of file warner.cc.

References warning().

Referenced by Implicative::makeStructure().

---

Member Data Documentation

int IntWarningProp::var [private]

Definition at line 51 of file warner.hh.

Referenced by IntWarningProp(), and propagate().

Warner* IntWarningProp::toWarn [private]

Definition at line 52 of file warner.hh.

Referenced by IntWarningProp(), and propagate().

---

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

• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/warner.hh
• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/warner.cc

---