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

Testing finite domain integers. More...

Namespaces

 Arithmetic
 Tests for arithmetic constraints
 
 Basic
 Tests for basic setup
 
 BinPacking
 Tests for bin-packing constraint
 
 Bool
 Tests for Boolean constraints
 
 Channel
 Tests for channel constraints
 
 Circuit
 Tests for circuit constraints
 
 Count
 Tests for count constraints
 
 Cumulative
 Tests for cumulative scheduling constraints.
 
 Cumulatives
 Tests for scheduling constraints
 
 Distinct
 Tests for distinct constraints
 
 Dom
 Tests for domain constraints
 
 Element
 Tests for element constraints
 
 Exec
 Tests for synchronized execution
 
 Extensional
 Tests for extensional (relation) constraints
 
 GCC
 Tests for counting constraints (global cardinality)
 
 Linear
 Tests for linear constraints
 
 Member
 Tests for membership constraints
 
 MiniModel
 Tests for minimal modelling constraints (simple relations)
 
 MiniModelArithmetic
 Tests for minimal modelling constraints (arithmetic)
 
 MiniModelBoolean
 Tests for minimal modelling constraints (Boolean)
 
 MiniModelCount
 Tests for minimal modelling constraints (counting)
 
 MiniModelLin
 Tests for minimal modelling constraints (linear)
 
 MiniModelSet
 Tests for minimal modelling constraints (Set)
 
 NoOverlap
 Tests for no-overlap constraint
 
 NValues
 Tests for number of values constraints
 
 Precede
 Tests for value precedence constraints
 
 Rel
 Tests for relation constraints
 
 Sequence
 Tests for sequence constraints
 
 Sorted
 Tests for sorted constraints
 
 Unary
 Tests for unary scheduling constraints
 
 Unshare
 Tests for unsharing variables in arrays
 

Classes

class  Assignment
 Base class for assignments More...
 
class  BoolOpTypes
 Iterator for Boolean operation types. More...
 
class  CpltAssignment
 Generate all assignments. More...
 
class  IntConLevels
 Iterator for integer consistency levels. More...
 
class  IntRelTypes
 Iterator for integer relation types. More...
 
class  RandomAssignment
 Generate random selection of assignments. More...
 
class  RandomMixAssignment
 Generate random selection of assignments. More...
 
class  Test
 Base class for tests with integer constraints More...
 
class  TestSpace
 Space for executing tests. 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.