FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC > Class Template Reference

Base-class for reify-implied monotone function boolean propagators. More...

Inheritance diagram for FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >:

List of all members.

Public Member Functions
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
virtual Actor *	copy (Space &home, bool share)
	Create copy during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Static Public Member Functions
static ExecStatus	post (Space &home, BoolView b, int X, ViewArray< VA > &x, int l_x, int Y, ViewArray< VA > &y, int l_y, VC c, int precision)
	Post propagator.
Protected Member Functions
	ImplyFmonotoneBoolGq (Space &home, BoolView b, int X, ViewArray< VA > &x, int l_x, int Y, ViewArray< VA > &y, int l_y, VC c, int precision)
	ImplyFmonotoneBoolGq (Space &home, bool share, ImplyFmonotoneBoolGq &p)
	Constructor for cloning p.
Protected Attributes
BoolView	b
	reify-implication variable

---

Detailed Description

template<class VA, class VC>
class FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >

Base-class for reify-implied monotone function boolean propagators.

This class NEEDS a global function: monotone_function(int pos_total, int pos, int neg_total, int neg, int precision)

Definition at line 226 of file constraint_Fmonotone.cpp.

---

Constructor & Destructor Documentation

template<class VA , class VC >

FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::ImplyFmonotoneBoolGq	(	Space &	home,
		BoolView	b,
		int	X,
		ViewArray< VA > &	x,
		int	l_x,
		int	Y,
		ViewArray< VA > &	y,
		int	l_y,
		VC	c,
		int	precision
	)			[inline, protected]

Definition at line 258 of file constraint_Fmonotone.cpp.

References FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::b.

template<class VA , class VC >

forceinline FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::ImplyFmonotoneBoolGq	(	Space &	home,
		bool	share,
		ImplyFmonotoneBoolGq< VA, VC > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 266 of file constraint_Fmonotone.cpp.

References FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::b.

---

Member Function Documentation

template<class VA , class VC >

Actor * FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::copy	(	Space &	home,
		bool	share
	)			[inline, virtual]

Create copy during cloning.

Reimplemented from FmonotoneBool::FmonotoneBoolGq< VA, VC >.

Definition at line 282 of file constraint_Fmonotone.cpp.

template<class VA , class VC >

forceinline size_t FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from FmonotoneBool::FmonotoneBoolGq< VA, VC >.

Definition at line 274 of file constraint_Fmonotone.cpp.

References FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::b.

template<class VA , class VC >

ExecStatus FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::post	(	Space &	home,
		BoolView	b,
		int	X,
		ViewArray< VA > &	x,
		int	l_x,
		int	Y,
		ViewArray< VA > &	y,
		int	l_y,
		VC	c,
		int	precision
	)			[inline, static]

Post propagator.

Definition at line 288 of file constraint_Fmonotone.cpp.

template<class VA , class VC >

ExecStatus FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::propagate	(	Space &	home,
		const ModEventDelta &	med
	)			[inline, virtual]

Perform propagation.

Reimplemented from FmonotoneBool::FmonotoneBoolGq< VA, VC >.

Definition at line 296 of file constraint_Fmonotone.cpp.

References FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::b, FmonotoneBool::FmonotoneBoolGq< VA, VC >::c, FmonotoneBool::FmonotoneBoolGq< VA, VC >::eliminate(), FmonotoneBool::FmonotoneBoolGq< VA, VC >::l_x, FmonotoneBool::FmonotoneBoolGq< VA, VC >::l_y, monotone_function(), FmonotoneBool::FmonotoneBoolGq< VA, VC >::precision, FmonotoneBool::FmonotoneBoolGq< VA, VC >::x, FmonotoneBool::FmonotoneBoolGq< VA, VC >::X, FmonotoneBool::FmonotoneBoolGq< VA, VC >::y, and FmonotoneBool::FmonotoneBoolGq< VA, VC >::Y.

---

Member Data Documentation

template<class VA, class VC>

BoolView FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::b [protected]

reify-implication variable

Definition at line 237 of file constraint_Fmonotone.cpp.

Referenced by FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::dispose(), FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::ImplyFmonotoneBoolGq(), and FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::propagate().

---

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

• cimcp/src/constraint_Fmonotone.cpp