# Test::Int Namespace Reference

## Detailed Description

Testing finite domain integers.

## Classes | |

class | TestSpace |

Space for executing tests. More... | |

class | Assignment |

Base class for assignments. More... | |

class | CpltAssignment |

Generate all assignments. More... | |

class | RandomAssignment |

Generate random selection of assignments. 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... | |

## Namespaces | |

namespace | Arithmetic |

Tests for arithmetic constraints. | |

namespace | Basic |

Tests for basic setup. | |

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 | Distinct |

Tests for distinct constraints. | |

namespace | Dom |

Tests for domain constraints. | |

namespace | Element |

Tests for element constraints. | |

namespace | Extensional |

Tests for extensional (relation) constraints. | |

namespace | GCC |

Tests for counting constraints (global cardinality). | |

namespace | Linear |

Tests for linear 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 | Rel |

Tests for relation constraints. | |

namespace | Scheduling |

Tests for scheduling constraints. | |

namespace | Sorted |

Tests for sorted constraints. | |

namespace | Unshare |

Tests for unsharing variables in arrays. |