Generated on Fri Oct 19 11:26:34 2018 for Gecode by doxygen 1.6.3

Test::Int::MiniModelCount Namespace Reference

Tests for minimal modelling constraints (counting) More...

Classes

class  IntInt
 Test number of equal integers equal to integer More...
class  IntVar
 Test number of equal integers equal to integer variable More...
class  VarVar
 Test number of equal variables equal to integer variable More...
class  VarInt
 Test number of equal variables equal to integer More...
class  IntArrayInt
 Test number of several equal integers equal to integer More...
class  IntArrayVar
 Test number of several equal integers equal to integer variable More...
class  Create
 Help class to create and register tests. More...

Functions

std::string expand (Gecode::IntRelType irt)
 Expand relation to abbreviation.
Gecode::IntArgs ints ({1, 0, 3, 2})

Variables

Create c

Detailed Description

Tests for minimal modelling constraints (counting)


Function Documentation

std::string Test::Int::MiniModelCount::expand ( Gecode::IntRelType  irt  ) 

Expand relation to abbreviation.

Definition at line 44 of file mm-count.cpp.