Generated on Mon Nov 30 23:53:39 2009 for Gecode by doxygen 1.6.1

distinct.cpp File Reference

(Revision: 8082)

#include "test/set.hh"

Go to the source code of this file.

Classes

class  Test::Set::Distinct::AtmostOne
 Test for the atmostone propagator. More...

Namespaces

namespace  Test
 

General test support.


namespace  Test::Set
 

Testing finite sets.


namespace  Test::Set::Distinct
 

Tests for distinctness constraints.


Variables

AtmostOne Test::Set::Distinct::_atmostone ("Distinct::AtmostOne")