Generated on Fri Oct 19 11:26:35 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({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