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)