Generated on Fri Oct 19 11:26:33 2018 for Gecode by doxygen 1.6.3

Test::Int::MiniModel Namespace Reference

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

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

Detailed Description

Tests for minimal modelling constraints (simple relations)