temp Namespace Reference

Managing Temp and Label. More...

Namespaces
namespace	tasks

Classes
class	Identifier
	Root for Named or anonymous (fresh) identifiers. More...
class	IdentifierCompareVisitor
struct	label_traits< misc::symbol >
struct	label_traits< unsigned >
struct	temp_traits< misc::symbol >
struct	temp_traits< unsigned >

Typedefs
typedef Identifier< temp_traits >	Temp
	Anonymous and named Temp.
typedef misc::endo_map< Temp >	TempMap
	Temp Map.
typedef misc::list< Temp >	temp_list_type
typedef misc::set< Temp >	temp_set_type
	A sorted set of Temp's.
typedef Identifier< label_traits >	Label
	Anonymous and named Label.
typedef misc::list< Label >	label_list_type
typedef IdentifierCompareVisitor < std::equal_to >	IdentifierEqualToVisitor
typedef IdentifierCompareVisitor < std::less >	IdentifierLessThanVisitor

Functions
template<template< typename Tag_ > class Traits_>
std::ostream &	operator<< (std::ostream &o, const Identifier< Traits_ > &i)
	Print i on o.
MAYBE_EXTERN template std::ostream &	operator<< (std::ostream &ostr, const Identifier< label_traits > &obj)
std::ostream &	dump (const temp::TempMap &map, std::ostream &ostr=std::cout)
	Print the map of temps on ostr.
std::ostream &	operator<< (std::ostream &ostr, const temp_set_type &temps)
	Output a temp_set_type, sorted.
MAYBE_EXTERN template std::ostream &	operator<< (std::ostream &ostr, const Identifier< temp_traits > &obj)

Variables
MAYBE_EXTERN template class	Identifier< label_traits >
MAYBE_EXTERN template class	Identifier< temp_traits >

Detailed Description

Managing Temp and Label.

Typedef Documentation

typedef IdentifierCompareVisitor<std::equal_to> temp::IdentifierEqualToVisitor

typedef IdentifierCompareVisitor<std::less> temp::IdentifierLessThanVisitor

typedef Identifier< label_traits > temp::Label

Anonymous and named Label.

typedef misc::list<Label> temp::label_list_type

typedef Identifier< temp_traits > temp::Temp

Anonymous and named Temp.

typedef misc::list<Temp> temp::temp_list_type

typedef misc::set< Temp > temp::temp_set_type

A sorted set of Temp's.

typedef misc::endo_map< Temp > temp::TempMap

Temp Map.

Function Documentation

std::ostream & temp::dump	(	const temp::TempMap &	map,
		std::ostream &	ostr
	)

Print the map of temps on ostr.

Referenced by operator<<().

std::ostream & temp::operator<<	(	std::ostream &	ostr,
		const temp_set_type &	temps
	)

Output a temp_set_type, sorted.

MAYBE_EXTERN template std::ostream& temp::operator<<	(	std::ostream &	ostr,
		const Identifier< label_traits > &	obj
	)

MAYBE_EXTERN template std::ostream& temp::operator<<	(	std::ostream &	ostr,
		const Identifier< temp_traits > &	obj
	)

template<template< typename Tag_ > class Traits_>

std::ostream & temp::operator<<	(	std::ostream &	o,
		const Identifier< Traits_ > &	i
	)

Print i on o.

References dump(), and temp::Identifier< Traits_ >::map.

Variable Documentation

MAYBE_EXTERN template class temp::Identifier< label_traits >

MAYBE_EXTERN template class temp::Identifier< temp_traits >