Generated on Mon Nov 30 23:53:57 2009 for Gecode by doxygen 1.6.1

Test::Int Namespace Reference

Testing finite domain integers. More...

Namespaces

namespace  Circuit
 

Tests for circuit constraints.


namespace  Arithmetic
 

Tests for arithmetic constraints.


namespace  Basic
 

Tests for basic setup.


namespace  Bool
 

Tests for Boolean constraints.


namespace  Channel
 

Tests for channel constraints.


namespace  Count
 

Tests for count constraints.


namespace  Distinct
 

Tests for distinct constraints.


namespace  Dom
 

Tests for domain constraints.


namespace  Element
 

Tests for element constraints.


namespace  Exec
 

Tests for synchronized execution.


namespace  Extensional
 

Tests for extensional (relation) constraints.


namespace  GCC
 

Tests for counting constraints (global cardinality).


namespace  Linear
 

Tests for linear constraints.


namespace  MiniModelArithmetic
 

Tests for minimal modelling constraints (arithmetic).


namespace  MiniModelBoolean
 

Tests for minimal modelling constraints (Boolean).


namespace  MiniModelCount
 

Tests for minimal modelling constraints (counting).


namespace  MiniModelLin
 

Tests for minimal modelling constraints (linear).


namespace  MiniModel
 

Tests for minimal modelling constraints (simple relations).


namespace  Rel
 

Tests for relation constraints.


namespace  Sorted
 

Tests for sorted constraints.


namespace  Unshare
 

Tests for unsharing variables in arrays.


namespace  Cumulatives
 

Tests for scheduling constraints.


namespace  Unary
 

Tests for unary scheduling constraints.


Classes

class  Assignment
 Base class for assignments. More...
class  CpltAssignment
 Generate all assignments. More...
class  RandomAssignment
 Generate random selection of assignments. More...
class  TestSpace
 Space for executing tests. More...
class  Test
 Base class for tests with integer constraints. More...
class  IntConLevels
 Iterator for integer consistency levels. More...
class  IntRelTypes
 Iterator for integer relation types. More...
class  BoolOpTypes
 Iterator for Boolean operation types. More...

Enumerations

enum  ConTestLevel { CTL_NONE, CTL_DOMAIN, CTL_BOUNDS_D, CTL_BOUNDS_Z }
 

Level of consistency to test for.

More...

Detailed Description

Testing finite domain integers.