FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC > Class Template Reference

Base-class for reify-implied convex boolean propagators. More...

Inheritance diagram for FconvexBool_emulator::ImplyFconvexBool_emulatorGq< 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
	ImplyFconvexBool_emulatorGq (Space &home, BoolView b, int X, ViewArray< VA > &x, int l_x, int Y, ViewArray< VA > &y, int l_y, VC c, int precision)
	ImplyFconvexBool_emulatorGq (Space &home, bool share, ImplyFconvexBool_emulatorGq &p)
	Constructor for cloning p.
Protected Attributes
BoolView	b
	reify-implication variable

---

Detailed Description

template<class VA, class VC>
class FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >

Base-class for reify-implied convex boolean propagators.

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

Definition at line 234 of file constraint_Fconvex_emulator.cpp.

---

Constructor & Destructor Documentation

template<class VA , class VC >

FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::ImplyFconvexBool_emulatorGq	(	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 266 of file constraint_Fconvex_emulator.cpp.

References FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::b.

template<class VA , class VC >

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

Constructor for cloning p.

Definition at line 274 of file constraint_Fconvex_emulator.cpp.

References FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::b.

---

Member Function Documentation

template<class VA , class VC >

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

Create copy during cloning.

Reimplemented from FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >.

Definition at line 290 of file constraint_Fconvex_emulator.cpp.

template<class VA , class VC >

forceinline size_t FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >.

Definition at line 282 of file constraint_Fconvex_emulator.cpp.

References FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::b.

template<class VA , class VC >

ExecStatus FconvexBool_emulator::ImplyFconvexBool_emulatorGq< 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 296 of file constraint_Fconvex_emulator.cpp.

template<class VA , class VC >

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

Perform propagation.

Reimplemented from FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >.

Definition at line 304 of file constraint_Fconvex_emulator.cpp.

References FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::b, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::c, convex_functionWrapper(), FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::eliminate(), FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::l_x, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::l_y, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::precision, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::x, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::X, FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::y, and FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC >::Y.

---

Member Data Documentation

template<class VA, class VC>

BoolView FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::b [protected]

reify-implication variable

Definition at line 245 of file constraint_Fconvex_emulator.cpp.

Referenced by FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::dispose(), FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::ImplyFconvexBool_emulatorGq(), and FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC >::propagate().

---

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

• cimcp/src/emulator/constraint_Fconvex_emulator.cpp