Structure Struct Template Reference
[Fundamental C++: the Element design pattern.]

Base class for the hierarchy of structural element types. More...

Inheritance diagram for Structure:

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

---

Detailed Description

template<typename S>
struct vcsn::Structure< S >

Base class for the hierarchy of structural element types.

It provides:

• static inheritance facilities,
• the concept of compatibility between elements and a structural element considered as a set (through the contains() method),
• a choose() method to pick randomly Element instances.

---

Member Function Documentation

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

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 (   )

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

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.

---