# 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.