Generated on Tue May 22 09:42:00 2018 for Gecode by doxygen 1.6.3

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(3, 1, 2, 3))
Multi _d (Gecode::IntArgs(3, 3, 2, 1))
Multi _e (Gecode::IntArgs(4, 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::  IntArgs3, 1, 2, 3  ) 
Multi Test::Int::Precede::_d ( Gecode::  IntArgs3, 3, 2, 1  ) 
Multi Test::Int::Precede::_e ( Gecode::  IntArgs4, 4, 2, 3, 1  ) 

Variable Documentation