Test::Int::Precede::Single Class Reference

Test for single value precedence constraint More...

List of all members.

Public Member Functions
	Single (int s0, int t0)
	Create and register test.
virtual bool	solution (const Assignment &x) const
	Test whether x is solution
virtual void	post (Gecode::Space &home, Gecode::IntVarArray &x)
	Post constraint on x.

---

Detailed Description

Test for single value precedence constraint

Definition at line 50 of file precede.cpp.

---

Constructor & Destructor Documentation

Test::Int::Precede::Single::Single	(	int	s0,
		int	t0
	)		[inline]

Create and register test.

Definition at line 56 of file precede.cpp.

---

Member Function Documentation

virtual bool Test::Int::Precede::Single::solution

(

const Assignment &

x

)

const [inline, virtual]

Test whether x is solution

Implements Test::Int::Test.

Definition at line 60 of file precede.cpp.

virtual void Test::Int::Precede::Single::post	(	Gecode::Space &	home,
		Gecode::IntVarArray &	x
	)		[inline, virtual]

Post constraint on x.

Implements Test::Int::Test.

Definition at line 71 of file precede.cpp.

---

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

• test/int/precede.cpp (Revision: 12172)