FconvexBool_emulator Namespace Reference

Classes
class	FconvexBool_emulatorGq
	Base-class for convex boolean propagators. More...
class	ImplyFconvexBool_emulatorGq
	Base-class for reify-implied convex boolean propagators. More...
Functions
void	convex (Space &home, const int classX_tot, const BoolVarArgs &classX, const int classY_tot, const BoolVarArgs &classY, IntRelType r, IntVar c, int precision)
	Post propagator for the convex chi2 propagator for booleans Calculates and prunes based on the chi2 value.
void	imply_convex (Space &home, const BoolVar b, const int classX_tot, const BoolVarArgs &classX, const int classY_tot, const BoolVarArgs &classY, IntRelType r, IntVar c, int precision)
	Post propagator for the convex chi2 propagator for booleans, reified version Calculates and prunes based on the chi2 value.

---

Function Documentation

void FconvexBool_emulator::convex	(	Space &	home,
		const int	classX_tot,
		const BoolVarArgs &	classX,
		const int	classY_tot,
		const BoolVarArgs &	classY,
		IntRelType	r,
		IntVar	c,
		int	precision
	)

Post propagator for the convex chi2 propagator for booleans Calculates and prunes based on the chi2 value.

The IntArgs represent the class and must be positive unit (0 or 1) Returns Error if not positive unit.

Definition at line 195 of file constraint_Fconvex_emulator.cpp.

Referenced by imply_convex().

void FconvexBool_emulator::imply_convex	(	Space &	home,
		const BoolVar	b,
		const int	classX_tot,
		const BoolVarArgs &	classX,
		const int	classY_tot,
		const BoolVarArgs &	classY,
		IntRelType	r,
		IntVar	c,
		int	precision
	)

Post propagator for the convex chi2 propagator for booleans, reified version Calculates and prunes based on the chi2 value.

The IntArgs represent the class and must be positive unit (0 or 1) Returns Error if not positive unit.

Definition at line 340 of file constraint_Fconvex_emulator.cpp.

References convex().