Linear constraints
[Using finite domain integers]

Collaboration diagram for Linear constraints:

Detailed Description

All variants for linear constraints share the following properties:

Bounds-consistency (over the real numbers) is supported for all constraints (actually, for disequlities always domain-consistency is used as it is cheaper). Domain-consistency is supported for all non-reified constraint. As bounds-consistency for inequalities coincides with domain-consistency, the only real variation is for linear equations). Domain-consistent linear equations are exponential, so use with care!
Variables occurring multiply in the argument arrays are replaced by a single occurrence: for example, becomes .
If in the above simplification the value for (or for and ) exceeds the limits for integers as defined in Limits::Int, an exception of type Int::NumericalOverflow is thrown.
Assume the constraint $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ . If $|c|+\sum_{i=0}^{|x|-1}a_i\cdot x_i$ exceeds the limits for doubles as defined in Limits::Int, an exception of type Int::NumericalOverflow is thrown.
In all other cases, the created propagators are accurate (that is, they will not silently overflow during propagation).

Functions

void Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

void Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

void Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

void Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

void Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ .

void Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y$ .

void Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c\right)\Leftrightarrow b$ .

void Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y\right)\Leftrightarrow b$ .

void Gecode::linear (Space *home, const BoolVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

void Gecode::linear (Space *home, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

Function Documentation

void Gecode::linear ( Space * home,

const IntVarArgs & x,

IntRelType r,

int c,

IntConLevel icl = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

Definition at line 34 of file linear.cc.

void Gecode::linear ( Space * home,

const IntVarArgs & x,

IntRelType r,

IntVar y,

IntConLevel icl = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

Definition at line 84 of file linear.cc.

void Gecode::linear ( Space * home,

const IntVarArgs & x,

IntRelType r,

int c,

BoolVar b,

IntConLevel icl = ICL_DEF

)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

Definition at line 45 of file linear.cc.

void Gecode::linear ( Space * home,

const IntVarArgs & x,

IntRelType r,

IntVar y,

BoolVar b,

IntConLevel = ICL_DEF

)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

Definition at line 96 of file linear.cc.

void Gecode::linear ( Space * home,

const IntArgs & a,

const IntVarArgs & x,

IntRelType r,

int c,

IntConLevel = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ .
Throws an exception of type Int::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 56 of file linear.cc.

void Gecode::linear ( Space * home,

const IntArgs & a,

const IntVarArgs & x,

IntRelType r,

IntVar y,

IntConLevel = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y$ .
Throws an exception of type Int::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 109 of file linear.cc.

void Gecode::linear ( Space * home,

const IntArgs & a,

const IntVarArgs & x,

IntRelType r,

int c,

BoolVar b,

IntConLevel = ICL_DEF

)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c\right)\Leftrightarrow b$ .
Throws an exception of type Int::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 70 of file linear.cc.

void Gecode::linear ( Space * home,

const IntArgs & a,

const IntVarArgs & x,

IntRelType r,

IntVar y,

BoolVar b,

IntConLevel = ICL_DEF

)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y\right)\Leftrightarrow b$ .
Throws an exception of type Int::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 124 of file linear.cc.

void Gecode::linear ( Space * home,

const BoolVarArgs & x,

IntRelType r,

int c,

IntConLevel = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

Definition at line 140 of file linear.cc.

void Gecode::linear ( Space * home,

const BoolVarArgs & x,

IntRelType r,

IntVar y,

IntConLevel = ICL_DEF

)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

Definition at line 194 of file linear.cc.


Functions
void	Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}x_i\sim_r c$ .
void	Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}x_i\sim_r y$ .
void	Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $\left(\sum_{i=0}^{\|x\|-1}x_i\sim_r c\right)\Leftrightarrow b$ .
void	Gecode::linear (Space *home, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $\left(\sum_{i=0}^{\|x\|-1}x_i\sim_r y\right)\Leftrightarrow b$ .
void	Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}a_i\cdot x_i\sim_r c$ .
void	Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}a_i\cdot x_i\sim_r y$ .
void	Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $\left(\sum_{i=0}^{\|x\|-1}a_i\cdot x_i\sim_r c\right)\Leftrightarrow b$ .
void	Gecode::linear (Space *home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $\left(\sum_{i=0}^{\|x\|-1}a_i\cdot x_i\sim_r y\right)\Leftrightarrow b$ .
void	Gecode::linear (Space *home, const BoolVarArgs &x, IntRelType r, int c, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}x_i\sim_r c$ .
void	Gecode::linear (Space *home, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel=ICL_DEF)
	Post propagator for $\sum_{i=0}^{\|x\|-1}x_i\sim_r y$ .

Linear constraints [Using finite domain integers]

Detailed Description

Functions

Function Documentation

Linear constraints
[Using finite domain integers]