Test::Int::Precede Namespace Reference

Tests for value precedence constraints More...

Classes
class	Single
	Test for single value precedence constraint More...
class	Multi
	Test for multiple value precedence constraint More...
Functions
Multi	_c (Gecode::IntArgs({1, 2, 3}))
Multi	_d (Gecode::IntArgs({3, 2, 1}))
Multi	_e (Gecode::IntArgs({4, 2, 3, 1}))
Variables
Single	_a (2, 3)
Single	_b (1, 4)

---

Detailed Description

Tests for value precedence constraints

---

Function Documentation

Multi Test::Int::Precede::_c

(

Gecode::

IntArgs{1, 2, 3}

)

Multi Test::Int::Precede::_d

(

Gecode::

IntArgs{3, 2, 1}

)

Multi Test::Int::Precede::_e

(

Gecode::

IntArgs{4, 2, 3, 1}

)

---

Variable Documentation

Single Test::Int::Precede::_a(2, 3)

Single Test::Int::Precede::_b(1, 4)