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 | 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
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 | IntPropLevels
| Iterator for simple integer propagation levels. More...
class | IntPropBasicAdvanced
| Iterator for basic and advanced integer propagation 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.

## Enumeration Type Documentation

## ConTestLevel

enum Test::Int::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.