Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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  MiniModel
 Tests for minimal modelling constraints (simple relations)
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  MiniModelSet
 Tests for minimal modelling constraints (Set)
namespace  NoOverlap
 Tests for no-overlap constraint
namespace  NValues
 Tests for number of values constraints
namespace  Order
 Tests for order constraint
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

Classes

class  Assignment
 Base class for assignments More...
class  BoolOpTypes
 Iterator for Boolean operation types. More...
class  CpltAssignment
 Generate all assignments. More...
class  IntPropBasicAdvanced
 Iterator for basic and advanced integer propagation levels. More...
class  IntPropLevels
 Iterator for simple integer propagation 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.

Enumeration Type Documentation

◆ ConTestLevel

Level of consistency to test for.

Enumerator
CTL_NONE 

No consistency-test.

CTL_DOMAIN 

Test for domain-consistency.

CTL_BOUNDS_D 

Test for bounds(d)-consistency.

CTL_BOUNDS_Z 

Test for bounds(z)-consistency.

Definition at line 139 of file int.hh.