Custom value selection class for a view-value branching. More...

Public Member Functions
	ValBestLoad (void)
	Default constructor.
	ValBestLoad (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
int	val (Space &home, Int::IntView x) const
	Return minimum value of view x.
ModEvent	tell (Space &home, unsigned int a, Int::IntView x, int n)
	Tell (a = 0) or $x\neq n$ (a = 1)

Detailed Description

Custom value selection class for a view-value branching.

The value choosen is the value with the minimum load if the parameter minimize is true, otherwize it chooses the value for maximum load.

Definition at line 226 of file bacp.cpp.

Constructor & Destructor Documentation

template<bool minimize>

BACP::ValBestLoad< minimize >::ValBestLoad ( void ) [inline]

Default constructor.

Definition at line 229 of file bacp.cpp.

template<bool minimize>

BACP::ValBestLoad< minimize >::ValBestLoad	(	Space &	home,
		const ValBranchOptions &	vbo
	)		`[inline]`

Constructor for initialization.

Definition at line 232 of file bacp.cpp.

template<bool minimize>

int BACP::ValBestLoad< minimize >::val	(	Space &	home,
		Int::IntView	x
	)		const `[inline]`

Return minimum value of view x.

Definition at line 236 of file bacp.cpp.

template<bool minimize>

ModEvent BACP::ValBestLoad< minimize >::tell	(	Space &	home,
		unsigned int	a,
		Int::IntView	x,
		int	n
	)		`[inline]`

Tell $x=n$ (a = 0) or $x\neq n$ (a = 1)

Definition at line 255 of file bacp.cpp.

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