Gecode::MiniModel::LinRel< Var > Class Template Reference

#include <minimodel.hh>

List of all members.

---

Detailed Description

template<class Var>
class Gecode::MiniModel::LinRel< Var >

Linear relations.

Definition at line 156 of file minimodel.hh.

Public Member Functions
	LinRel (void)
	Default constructor.
	LinRel (const LinExpr< Var > &l, IntRelType irt, const LinExpr< Var > &r)
	Create linear relation for expressions l and r.
	LinRel (const LinExpr< Var > &l, IntRelType irt, int r)
	Create linear relation for expression l and integer r.
	LinRel (int l, IntRelType irt, const LinExpr< Var > &r)
	Create linear relation for integer l and expression r.
void	post (Space *home, bool t, IntConLevel icl, PropKind pk) const
	Post propagator for relation (if t is false for negated relation).
void	post (Space *home, const BoolVar &b, IntConLevel icl, PropKind pk) const
	Post reified propagator for relation.

---

Constructor & Destructor Documentation

template<class Var>

Gecode::MiniModel::LinRel< Var >::LinRel

(

void

)

[inline]

Default constructor.

Definition at line 48 of file lin-rel.icc.

template<class Var>

Gecode::MiniModel::LinRel< Var >::LinRel	(	const LinExpr< Var > &	l,
		IntRelType	irt,
		const LinExpr< Var > &	r
	)			[inline]

Create linear relation for expressions l and r.

Definition at line 52 of file lin-rel.icc.

template<class Var>

Gecode::MiniModel::LinRel< Var >::LinRel	(	const LinExpr< Var > &	l,
		IntRelType	irt,
		int	r
	)			[inline]

Create linear relation for expression l and integer r.

Definition at line 58 of file lin-rel.icc.

template<class Var>

Gecode::MiniModel::LinRel< Var >::LinRel	(	int	l,
		IntRelType	irt,
		const LinExpr< Var > &	r
	)			[inline]

Create linear relation for integer l and expression r.

Definition at line 63 of file lin-rel.icc.

---

Member Function Documentation

template<class Var>

void Gecode::MiniModel::LinRel< Var >::post	(	Space *	home,
		bool	t,
		IntConLevel	icl,
		PropKind	pk
	)			const [inline]

Post propagator for relation (if t is false for negated relation).

Definition at line 83 of file lin-rel.icc.

template<class Var>

void Gecode::MiniModel::LinRel< Var >::post	(	Space *	home,
		const BoolVar &	b,
		IntConLevel	icl,
		PropKind	pk
	)			const [inline]

Post reified propagator for relation.

Definition at line 94 of file lin-rel.icc.

---

The documentation for this class was generated from the following files:

• gecode/minimodel.hh (Revision: 7354)
• gecode/minimodel/lin-rel.icc (Revision: 6311)