linear.cc File Reference

(Revision: 3533)

#include "gecode/int/linear.hh"

Go to the source code of this file.

Namespaces

namespace Gecode

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, 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 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, 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 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, 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, 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, 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$ .


Namespaces
namespace	Gecode
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, 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 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, 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 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, 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, 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, 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$ .