BoolWarningProp Class Reference

#include <warner.hh>

Collaboration diagram for BoolWarningProp:

[legend]List of all members.

Public Member Functions
QECODE_EXPORT	BoolWarningProp (Space *home, int v, BoolView vv, Warner *f, bool fd=false)
QECODE_EXPORT	BoolWarningProp (Space *home, bool share, BoolWarningProp &p)
QECODE_EXPORT	~BoolWarningProp (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, BoolView vv, Warner *f)
static QECODE_EXPORT void	BoolWarning (Space *home, int v, BoolVar iv, Warner *f)
Private Attributes
int	var
Warner *	toWarn

---

Detailed Description

Definition at line 65 of file warner.hh.

---

Constructor & Destructor Documentation

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

Definition at line 69 of file warner.cc.

References toWarn, and var.

Referenced by copy(), and warning().

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

Definition at line 74 of file warner.cc.

References toWarn, and var.

BoolWarningProp::~BoolWarningProp

(

void

)

Definition at line 79 of file warner.cc.

---

Member Function Documentation

PropCost BoolWarningProp::cost

(

void

)

const [virtual]

Definition at line 81 of file warner.cc.

ExecStatus BoolWarningProp::propagate

(

Space *

home

)

[virtual]

Definition at line 83 of file warner.cc.

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

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

Definition at line 88 of file warner.cc.

References BoolWarningProp().

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

Definition at line 90 of file warner.cc.

References BoolWarningProp().

Referenced by BoolWarning().

void BoolWarningProp::BoolWarning	(	Space *	home,
		int	v,
		BoolVar	iv,
		Warner *	f
	)			[static]

Definition at line 95 of file warner.cc.

References warning().

Referenced by Implicative::makeStructure().

---

Member Data Documentation

int BoolWarningProp::var [private]

Definition at line 68 of file warner.hh.

Referenced by BoolWarningProp(), and propagate().

Warner* BoolWarningProp::toWarn [private]

Definition at line 69 of file warner.hh.

Referenced by BoolWarningProp(), 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

---