Generated on Thu Mar 22 10:40:00 2012 for Gecode by doxygen 1.6.3

Test::Int Namespace Reference

Testing finite domain integers. More...

Namespaces

namespace  Arithmetic
 

Tests for arithmetic constraints


namespace  Basic
 

Tests for basic setup


namespace  BinPacking
 

Tests for bin-packing constraint


namespace  Bool
 

Tests for Boolean constraints


namespace  Channel
 

Tests for channel constraints


namespace  Circuit
 

Tests for circuit constraints


namespace  Count
 

Tests for count constraints


namespace  Cumulative
 

Tests for cumulative scheduling constraints.


namespace  Cumulatives
 

Tests for scheduling 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  Member
 

Tests for membership 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  NoOverlap
 

Tests for no-overlap constraint


namespace  NValues
 

Tests for number of values constraints


namespace  Precede
 

Tests for value precedence constraints


namespace  Rel
 

Tests for relation constraints


namespace  Sequence
 

Tests for sequence constraints


namespace  Sorted
 

Tests for sorted constraints


namespace  Unary
 

Tests for unary scheduling constraints


namespace  Unshare
 

Tests for unsharing variables in arrays


namespace  MiniModelSet
 

Tests for minimal modelling constraints (Set)


Classes

class  Assignment
 Base class for assignments More...
class  CpltAssignment
 Generate all assignments. More...
class  RandomAssignment
 Generate random selection of assignments. More...
class  RandomMixAssignment
 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.