linear.hh File Reference


Namespaces
namespace	Gecode::Int::Linear
namespace	Gecode
namespace	Gecode::Int
Classes
class	Gecode::Int::Linear::LinBin< Val, A, B, pc >
	Base-class for binary linear propagators. More...
class	Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl >
	Base-class for reified binary linear propagators. More...
class	Gecode::Int::Linear::EqBin< Val, A, B >
	Propagator for bounds-consistent binary linear equality More...
class	Gecode::Int::Linear::ReEqBin< Val, A, B, Ctrl >
	Propagator for reified bounds-consistent binary linear equality More...
class	Gecode::Int::Linear::NqBin< Val, A, B >
	Propagator for bounds-consistent binary linear disequality More...
class	Gecode::Int::Linear::LqBin< Val, A, B >
	Propagator for bounds-consistent binary linear less or equal More...
class	Gecode::Int::Linear::GqBin< Val, A, B >
	Propagator for bounds-consistent binary linear greater or equal More...
class	Gecode::Int::Linear::ReLqBin< Val, A, B >
	Propagator for reified bounds-consistent binary linear less or equal More...
class	Gecode::Int::Linear::LinTer< Val, A, B, C, pc >
	Base-class for ternary linear propagators. More...
class	Gecode::Int::Linear::EqTer< Val, A, B, C >
	Propagator for bounds-consistent ternary linear equality More...
class	Gecode::Int::Linear::NqTer< Val, A, B, C >
	Propagator for bounds-consistent ternary linear disquality More...
class	Gecode::Int::Linear::LqTer< Val, A, B, C >
	Propagator for bounds-consistent ternary linear less or equal More...
class	Gecode::Int::Linear::Lin< Val, P, N, pc >
	Base-class for n-ary linear propagators. More...
class	Gecode::Int::Linear::ReLin< Val, P, N, pc, Ctrl >
	Base-class for reified n-ary linear propagators. More...
class	Gecode::Int::Linear::Eq< Val, P, N >
	Propagator for bounds-consistent n-ary linear equality More...
class	Gecode::Int::Linear::DomEq< Val, View >
	Propagator for domain-consistent n-ary linear equality More...
class	Gecode::Int::Linear::ReEq< Val, P, N, Ctrl >
	Propagator for reified bounds-consistent n-ary linear equality More...
class	Gecode::Int::Linear::Nq< Val, P, N >
	Propagator for bounds-consistent n-ary linear disequality More...
class	Gecode::Int::Linear::Lq< Val, P, N >
	Propagator for bounds-consistent n-ary linear less or equal More...
class	Gecode::Int::Linear::ReLq< Val, P, N >
	Propagator for reified bounds-consistent n-ary linear less or equal More...
class	Gecode::Int::Linear::LinBoolInt< VX >
	Baseclass for integer Boolean sum. More...
class	Gecode::Int::Linear::EqBoolInt< VX >
	Propagator for integer equal to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::GqBoolInt< VX >
	Propagator for integer less or equal to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::NqBoolInt< VX >
	Propagator for integer disequal to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::LinBoolView< XV, YV >
	Base-class for Boolean linear propagators. More...
class	Gecode::Int::Linear::EqBoolView< XV, YV >
	Propagator for equality to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::NqBoolView< XV, YV >
	Propagator for disequality to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::GqBoolView< XV, YV >
	Propagator for greater or equal to Boolean sum (cardinality) More...
class	Gecode::Int::Linear::Term
	Class for describing linear term $a\cdot x$ . More...
Functions
void	Gecode::Int::Linear::post (Space *home, Term t[], int n, IntRelType r, int c, IntConLevel=ICL_DEF)
	Post propagator for linear constraint.
void	Gecode::Int::Linear::post (Space *home, Term t[], int n, IntRelType r, int c, BoolView b)
	Post reified propagator for linear constraint.

linear.hh File Reference

(Revision: 3604)

Namespaces

Classes

Functions