Generated on Sat Feb 7 2015 02:01:57 for Gecode by doxygen 1.8.9.1
Test::Int::MiniModel Namespace Reference

Tests for minimal modelling constraints (simple relations) More...

Classes

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

Variables

Create c
 

Detailed Description

Tests for minimal modelling constraints (simple relations)