AlphabetSetBase Struct Template Reference
[Alphabet]

Base class for structural elements of alphabets. More...

Inheritance diagram for AlphabetSetBase:

[legend]List of all members.

Public Types
typedef S	self_t
	Exact type of the most derivated type in the hierarchy.
Public Member Functions
template<typename T> bool	contains (const Element< S, T > &elt) const
	Check if a given element is compatible with the structural element.
template<typename OtherS, typename T> bool	contains (const Element< OtherS, T > &other) const
	Specialization of containts that always return false.
template<typename T> bool	contains (const T &elt_value) const
	Check if an anonymous value is compatible with a structural element.
template<class T> Element< S, T >	choose (SELECTOR(T)) const
	Choose randomly an element in the structure.
self_t &	self ()
	Accessor to the real type.
const self_t &	self () const
	Accessor to the real type.
Protected Member Functions
	AlphabetSetBase ()
	Protected constructor.
	AlphabetSetBase (const AlphabetSetBase &other)
	Protected constructor.

---

Detailed Description

template<class S>
struct vcsn::algebra::AlphabetSetBase< S >

Base class for structural elements of alphabets.

This class is empty and should be used for typing purposes only.

Note that implementation types for alphabets should provide:

• op_choose(AlphabetSet, T), which creates a random alphabet.
• op_eq(AlphabetSet, T), which tests for equality between alphabets.

---

Member Function Documentation

bool contains (  const Element< OtherS, T > &  other  )  const [inherited]

Specialization of containts that always return false. Indeed, elements structured by a particular type are always incompatible with structural elements of another type.

S & self (   )  [inherited]

Accessor to the real type. This accessor is intended to be used by implementations in this class and derivated structures to obtain a reference to the structural element with its most derivated type.

const S & self (   )  const [inherited]

Accessor to the real type. This accessor is intended to be used by implementations in this class and derivated structures to obtain a reference to the structural element with its most derivated type.

---