---

Fundamental C++ : the Element design pattern.

Core constructs for Vaucanson. More...

Files
file	element.hh
	Declaration of Element.
file	meta_element_root.hh
	Definition of the specialization of MetaElement for the root Structure.
file	predecls.hh
	Forward declarations of the fundamental template classes of Vaucanson.
file	slots.hh
	Declaration of set attribute slot for Element.
file	structure.hh
	Definition of class Structure, the root of all structural element types.
Namespaces
namespace	vcsn
	The main namespace of the Vaucanson library.
namespace	vcsn
	The main namespace of the Vaucanson library.
Modules
Operators
Compounds
class	vcsn::Element
	Glue class between structural elements and implementation values. More...
struct	vcsn::MetaElement< Structure< S >, T >
	The base class that glues structural elements to implementation values. More...
struct	vcsn::SetSlotAttribute
	Base class for SetSlot. More...
struct	vcsn::SetSlotAttribute< S, true >
	Base class for SetSlot, specializing SetSlotAttribute. More...
struct	vcsn::SetSlot
	Type of the set_ attribute of the Element class. More...
struct	vcsn::Structure
	Base class for the hierarchy of structural element types. More...
struct	vcsn::dynamic_traits< Structure< S > >
	Specialization of dynamic_traits for Structure. More...
struct	vcsn::virtual_types< Structure< S > >
	Specialization of virtual_types for Structure. More...
struct	vcsn::SyntacticDecorator
	This class provides the standard operator delegations to Element. More...
Functions
template<typename S> bool	operator== (const vcsn::Structure< S > &a, const vcsn::Structure< S > &b)
	The deep equality operator between Structure instances. More...

---

Detailed Description

Core constructs for Vaucanson.

This module contains definitions for the design pattern used in Vaucanson, so called "Element". This design pattern is more deeply described in the paper by Yann Régis-Gianas and Raphaël Poss: On orthogonal specialization in C++: Dealing with efficiency and algebraic abstraction in Vaucanson. In the proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC'2003) Darmstadt, Germany July 2003.

See http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200307-Poosc

---

Function Documentation

bool operator== (  const vcsn::Structure< S > &    a, const vcsn::Structure< S > &    b )

The deep equality operator between Structure instances. The implementation for Structure always return true since there is no dynamic type information attached to Structure itself.

---