Simple relation constraints over float variables

Functions
void	Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
	Post propagator for \( x_0 \sim_{frt} x_1\).
void	Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c)
	Propagates \( x \sim_{frt} c\).
void	Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r)
	Post propagator for \((x \sim_{frt} c)\equiv r\).
void	Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r)
	Post propagator for \((x_0 \sim_{frt} x_1)\equiv r\).
void	Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
	Propagates \( x_i \sim_{frt} c \) for all \(0\leq i<|x|\).
void	Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y)
	Propagates \( x_i \sim_{frt} y \) for all \(0\leq i<|x|\).
void	Gecode::ite (Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z)
	Post propagator for if-then-else constraint.

Detailed Description

Function Documentation

rel() [1/6]

void Gecode::rel	(	Home	home,
		FloatVar	x0,
		FloatRelType	frt,
		FloatVar	x1 )

Post propagator for \( x_0 \sim_{frt} x_1\).

rel() [2/6]

void Gecode::rel	(	Home	home,
		FloatVar	x,
		FloatRelType	frt,
		FloatVal	c )

Propagates \( x \sim_{frt} c\).

rel() [3/6]

void Gecode::rel	(	Home	home,
		FloatVar	x,
		FloatRelType	frt,
		FloatVal	c,
		Reify	r )

Post propagator for \((x \sim_{frt} c)\equiv r\).

rel() [4/6]

void Gecode::rel	(	Home	home,
		FloatVar	x0,
		FloatRelType	frt,
		FloatVar	x1,
		Reify	r )

Post propagator for \((x_0 \sim_{frt} x_1)\equiv r\).

rel() [5/6]

void Gecode::rel	(	Home	home,
		const FloatVarArgs &	x,
		FloatRelType	frt,
		FloatVal	c )

Propagates \( x_i \sim_{frt} c \) for all \(0\leq i<|x|\).

rel() [6/6]

void Gecode::rel	(	Home	home,
		const FloatVarArgs &	x,
		FloatRelType	frt,
		FloatVar	y )

Propagates \( x_i \sim_{frt} y \) for all \(0\leq i<|x|\).

ite()

void Gecode::ite	(	Home	home,
		BoolVar	b,
		FloatVar	x,
		FloatVar	y,
		FloatVar	z )

Post propagator for if-then-else constraint.

Posts propagator for \( z = b ? x : y \)