Generated on Mon Aug 25 11:35:55 2008 for Gecode by doxygen 1.5.6

Test::Int::MiniModel Namespace Reference


Detailed Description

Tests for minimal modelling constraints (simple relations).


Classes

class  IntLex
 Test for relation between arrays of integer variables. More...
class  BoolLex
 Test for relation between arrays of Boolean variables. More...
class  Create
 Help class to create and register tests. More...

Variables

Create c