Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
sequence.cpp File Reference
#include "test/set.hh"

Go to the source code of this file.

Classes

class  Test::Set::Sequence::Sequence
 Test for sequence constraint More...
class  Test::Set::Sequence::SeqU
 Test for sequential-union constraint More...

Namespaces

namespace  Test
 General test support.
namespace  Test::Set
 Testing finite sets.
namespace  Test::Set::Sequence
 Tests for sequence constraints

Variables

Sequence Test::Set::Sequence::_sequence ("Sequence::Sequence")
SeqU Test::Set::Sequence::_sequ0 (0)
SeqU Test::Set::Sequence::_sequ1 (1)
SeqU Test::Set::Sequence::_sequ3 (3)