WarningProp Class Reference

#include <warner.hh>

Collaboration diagram for WarningProp:

[legend]List of all members.

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

---

Detailed Description

Definition at line 47 of file warner.hh.

---

Constructor & Destructor Documentation

WarningProp::WarningProp	(	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().

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

Definition at line 41 of file warner.cc.

References toWarn, and var.

WarningProp::~WarningProp

(

void

)

Definition at line 46 of file warner.cc.

---

Member Function Documentation

PropCost WarningProp::cost

(

void

)

const [virtual]

Definition at line 48 of file warner.cc.

ExecStatus WarningProp::propagate

(

Space *

home

)

[virtual]

Definition at line 50 of file warner.cc.

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

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

Definition at line 55 of file warner.cc.

References WarningProp().

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

Definition at line 57 of file warner.cc.

References WarningProp().

Referenced by Implicative::makeStructure(), and warning().

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

Definition at line 62 of file warner.cc.

References warning().

---

Member Data Documentation

int WarningProp::var [private]

Definition at line 50 of file warner.hh.

Referenced by propagate(), and WarningProp().

Warner* WarningProp::toWarn [private]

Definition at line 51 of file warner.hh.

Referenced by propagate(), and WarningProp().

---

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

• /Users/jamian/qecode-1.1/qecode/warner.hh
• /Users/jamian/qecode-1.1/qecode/warner.cc

---