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