identifier_string.h File Reference

aterm representations of identifier strings. More...

Go to the source code of this file.

Classes
struct	std::hash< mcrl2::core::identifier_string >
	hash specialization More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::core
namespace	std
	STL namespace.

Typedefs
typedef atermpp::aterm_string	mcrl2::core::identifier_string
	String type of the LPS library. Identifier strings are represented internally as ATerms.
typedef atermpp::term_list< identifier_string >	mcrl2::core::identifier_string_list
	\brief list of identifier_strings
typedef std::vector< identifier_string >	mcrl2::core::identifier_string_vector
	\brief vector of identifier_strings

Functions
std::string	mcrl2::core::pp (const identifier_string &x)
std::ostream &	mcrl2::core::operator<< (std::ostream &out, const identifier_string &x)
void	mcrl2::core::swap (identifier_string &t1, identifier_string &t2)
	\brief swap overload
bool	mcrl2::core::is_identifier_string (const atermpp::aterm &t)
	Tests if a term is an identifier string.
identifier_string	mcrl2::core::empty_identifier_string ()
	Provides the empty identifier string.

Detailed Description

aterm representations of identifier strings.

Definition in file identifier_string.h.