utility Namespace Reference
[Utility constructs for Vaucanson]

The namespace for utility constructs. More...

Classes
struct	Bitset
	Dynamic bitset class. More...
struct	generic_int_type
	Generic and under-efficient int_type implementation for char_traits. More...
struct	char_traits
	Generic char_traits. More...
struct	DeferrerDebugPart
	Helper class for Deferrer. More...
struct	Deferrer
	This class defers the creation of its template parameter. More...
struct	escaper
	IO Manipulator to escape some characters when displaying them. More...
struct	setesc
	IO Manipulator to set the characters that need to be escaped. More...
struct	iomanip
	Base class for IO manipulators. More...
struct	remove_reference
	Turn a reference type into its corresponding plain type. More...
struct	remove_const
	Turn a const type into its corresponding mutable type. More...
struct	static_if
	Choose between two types or values depending on a constant Boolean. More...
struct	static_if_simple
	Choose between two types or values depending on a constant Boolean. More...
struct	static_eq
	Test for equality between two types. More...
struct	static_pow_compute
	These are auxilliary functions for static_pow. More...
struct	static_pow
	Static exponentiation. More...
struct	static_pow_minus_one
	Static exponentiation, result minus one. More...
class	SupportIterator
	Iterator over the Support generic class. More...
class	SparseIterator
	SparseIterator is an iterator over range except some points. More...
class	SparseInterval
	Container over a sparse integer range. More...
class	SelfIterator
	SelfIterator is an iterator which is also a container. More...
struct	Window
	Handle windows in streams for performing regular expression search. More...
class	Support< std::map< U, T > >
	Support<map<U, T> > is a const adapter of std::map to container. More...
Namespaces
namespace	concepts
namespace	contract
namespace	random
	The namespace for the random generation tools.
namespace	unique
	The namespace for the instance collection tools.
Functions
template<typename U, typename V>
std::ostream &	operator<< (std::ostream &o, std::pair< U, V > p)
	To display a single pair It assumes that each element of the pair is printable (i.e.
template<typename U, typename V, class Traits, class Allocator>
std::ostream &	operator<< (std::ostream &o, std::basic_string< std::pair< U, V >, Traits, Allocator > s)
	To display a basic_string of pair (idem).
template<typename U, typename V>
std::istream &	operator>> (std::istream &i, std::pair< U, V > &p)
	To read a single pair.
std::ostream &	operator<< (std::ostream &ostr, const Bitset &set)
	Print a bitset onto an output stream.
template<class T>
escaper< T >	make_escaper (const T &w)
	Build an escaper.
std::set< char > &	getesc (std::ostream &ostr)
	Retrieve the escaped characters set of a stream.
int	escaped ()
	Get the index in the internal extensible array for escaped characters.
template<class T>
void	pword_delete (std::ios_base::event ev, std::ios_base &io, int idx)
	Delete memory associated with a stream upon its destruction.
template<class U, class T>
	Support< std::map< U, T > >::Support (const Support &s)
	support<map<U, T> > is a const adapter of std::map to container.

---

Detailed Description

The namespace for utility constructs.

This namespace holds all C++ constructs that are used by Vaucanson but are not Vaucanson-specific.

---

Function Documentation

std::ostream & operator<< (  std::ostream &  o, std::pair< U, V >  p )

To display a single pair It assumes that each element of the pair is printable (i.e. the operator << is defined on it)

escaper< T > make_escaper (  const T &  w  )

Build an escaper. See also: escaper, setesc, getesc(), iomanip. Author: Thomas Claveirole <thomas.claveirole@lrde.epita.fr>

std::set< char > & getesc (  std::ostream &  ostr  )  [inline]

Retrieve the escaped characters set of a stream. See also: escaper, setesc, iomanip. Author: Thomas Claveirole <thomas.claveirole@lrde.epita.fr>

void pword_delete (  std::ios_base::event  ev, std::ios_base &  io, int  idx )

Delete memory associated with a stream upon its destruction. Some manipulators allocate memory and use the internal extensible array to store pointers to the allocated zone. Upon the stream's destruction, the memory must be freed to avoid memory leaks. This function is a generic callback that will perform such a destruction. idx is used as an index in the internal extensible array to an element of type T*. When an erase_event is received, the element idx refers to in the stream is deleted. Parameters: T  Type of the pointed element. ev IO event. io Related stream. idx Index in the internal extensible array of a pointer to delete. See also: iomanip Author: Thomas Claveirole <thomas.claveirole@lrde.epita.fr>

---