Gecode::LinRel Class Reference

Linear relations. More...

#include <minimodel.hh>

List of all members.

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

---

Detailed Description

Linear relations.

Definition at line 259 of file minimodel.hh.

---

Constructor & Destructor Documentation

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

Create linear relation for expressions l and r.

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

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

Create linear relation for expression l and integer r.

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

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

Create linear relation for integer l and expression r.

Definition at line 56 of file lin-rel.hpp.

---

Member Function Documentation

void Gecode::LinRel::post	(	Home	home,
		bool	t,
		IntConLevel	icl
	)		const [inline]

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

Definition at line 74 of file lin-rel.hpp.

void Gecode::LinRel::post	(	Home	home,
		const BoolVar &	b,
		bool	t,
		IntConLevel	icl
	)		const [inline]

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

Definition at line 79 of file lin-rel.hpp.

---

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

• gecode/minimodel.hh (Revision: 12537)
• gecode/minimodel/lin-rel.hpp (Revision: 10262)