std Namespace Reference

STL namespace. More...

Classes
class	allocator
	STL class.
class	array
	STL class.
class	atomic
	STL class.
class	atomic_ref
	STL class.
class	auto_ptr
	STL class.
class	bad_alloc
	STL class.
class	bad_cast
	STL class.
class	bad_exception
	STL class.
class	bad_typeid
	STL class.
class	basic_fstream
	STL class.
class	basic_ifstream
	STL class.
class	basic_ios
	STL class.
class	basic_iostream
	STL class.
class	basic_istream
	STL class.
class	basic_istringstream
	STL class.
class	basic_ofstream
	STL class.
class	basic_ostream
	STL class.
class	basic_ostringstream
	STL class.
class	basic_string
	STL class.
class	basic_string_view
	STL class.
class	basic_stringstream
	STL class.
class	bitset
	STL class.
class	complex
	STL class.
class	deque
	STL class.
class	domain_error
	STL class.
class	error_category
	STL class.
class	error_code
	STL class.
class	error_condition
	STL class.
class	exception
	STL class.
class	forward_list
	STL class.
class	fstream
	STL class.
struct	hash< atermpp::aterm >
	Standard hash function. More...
struct	hash< atermpp::aterm_core >
	specialization of the standard std::hash function. More...
struct	hash< atermpp::detail::_aterm * >
	specialization of the standard std::hash function. More...
struct	hash< atermpp::detail::_function_symbol >
	Specialisation of the standard hash function for _function_symbol. More...
struct	hash< atermpp::detail::reference_aterm< T > >
	specialization of the standard std::hash function. More...
struct	hash< atermpp::function_symbol >
	Specialisation of the standard hash function for function_symbol. More...
struct	hash< atermpp::term_balanced_tree< T > >
	Standard hash function. More...
struct	hash< atermpp::term_list< Term > >
	The standard hash class. More...
struct	hash< atermpp::unprotected_aterm_core >
	specialization of the standard std::hash function. More...
struct	hash< mcrl2::core::identifier_string >
	hash specialization More...
struct	hash< mcrl2::data::data_expression >
struct	hash< mcrl2::data::sort_expression >
struct	hash< mcrl2::data::variable >
struct	hash< mcrl2::lps::multi_action >
	specialization of the standard std::hash function for an action_label_string. More...
struct	hash< mcrl2::lps::probabilistic_data_expression >
struct	hash< mcrl2::lps::state_probability_pair< STATE, PROBABILITY > >
struct	hash< mcrl2::lts::action_label_lts >
	specialization of the standard std::hash function for an action_label_string. More...
struct	hash< mcrl2::lts::action_label_string >
	specialization of the standard std::hash function for an action_label_string. More...
struct	hash< mcrl2::lts::probabilistic_state< STATE, PROBABILITY > >
	Specialization of the standard std::hash function. More...
struct	hash< mcrl2::lts::transition >
	specialization of the standard std::hash function. More...
struct	hash< mcrl2::pbes_system::pbes_expression >
struct	hash< mcrl2::pbes_system::propositional_variable_instantiation >
struct	hash< mcrl2::pbes_system::summand_equivalence_key >
	specialization of the standard std::hash function. More...
struct	hash< mcrl2::pres_system::pres_expression >
struct	hash< mcrl2::pres_system::propositional_variable_instantiation >
struct	hash< mcrl2::process::action >
	Standard has function for actions. More...
struct	hash< mcrl2::utilities::big_natural_number >
struct	hash< mcrl2::utilities::probabilistic_arbitrary_precision_fraction >
	specialization of the standard std::hash function. More...
struct	hash< mcrl2::utilities::tagged_pointer< T > >
	specialization of the standard std::hash function. More...
struct	hash< std::map< X, Y > >
struct	hash< std::pair< X, Y > >
struct	hash< std::vector< X > >
class	ifstream
	STL class.
class	invalid_argument
	STL class.
class	ios
	STL class.
class	ios_base
	STL class.
class	istream
	STL class.
class	istringstream
	STL class.
class	jthread
	STL class.
class	length_error
	STL class.
class	list
	STL class.
class	lock_guard
	STL class.
class	logic_error
	STL class.
class	map
	STL class.
class	multimap
	STL class.
class	multiset
	STL class.
class	mutex
	STL class.
class	ofstream
	STL class.
class	ostream
	STL class.
class	ostringstream
	STL class.
class	out_of_range
	STL class.
class	overflow_error
	STL class.
class	priority_queue
	STL class.
class	queue
	STL class.
class	range_error
	STL class.
class	recursive_mutex
	STL class.
class	recursive_timed_mutex
	STL class.
class	runtime_error
	STL class.
class	set
	STL class.
class	shared_lock
	STL class.
class	shared_mutex
	STL class.
class	shared_ptr
	STL class.
class	shared_timed_mutex
	STL class.
class	smart_ptr
	STL class.
class	span
	STL class.
class	stack
	STL class.
class	string
	STL class.
class	string_view
	STL class.
class	stringstream
	STL class.
class	system_error
	STL class.
class	thread
	STL class.
class	timed_mutex
	STL class.
class	u16string
	STL class.
class	u16string_view
	STL class.
class	u32string
	STL class.
class	u32string_view
	STL class.
class	u8string
	STL class.
class	u8string_view
	STL class.
class	underflow_error
	STL class.
class	unique_lock
	STL class.
class	unique_ptr
	STL class.
class	unordered_map
	STL class.
class	unordered_multimap
	STL class.
class	unordered_multiset
	STL class.
class	unordered_set
	STL class.
class	valarray
	STL class.
class	vector
	STL class.
class	weak_ptr
	STL class.
class	wfstream
	STL class.
class	wifstream
	STL class.
class	wios
	STL class.
class	wistream
	STL class.
class	wistringstream
	STL class.
class	wofstream
	STL class.
class	wostream
	STL class.
class	wostringstream
	STL class.
class	wstring
	STL class.
class	wstring_view
	STL class.
class	wstringstream
	STL class.

Functions
template<>
void	swap (atermpp::unprotected_aterm_core &t1, atermpp::unprotected_aterm_core &t2) noexcept
	Swaps two aterms.
void	swap (atermpp::aterm &t1, atermpp::aterm &t2) noexcept
	Swaps two term_applss.
template<class T >
void	swap (atermpp::term_balanced_tree< T > &t1, atermpp::term_balanced_tree< T > &t2)
	Swaps two balanced trees.
template<>
void	swap (atermpp::aterm_int &t1, atermpp::aterm_int &t2) noexcept
	Swaps two aterm_ints.
template<class T >
void	swap (atermpp::term_list< T > &t1, atermpp::term_list< T > &t2) noexcept
	Swaps two term_lists.
template<>
void	swap (atermpp::aterm_string &t1, atermpp::aterm_string &t2) noexcept
	Swaps two aterm_strings.
std::ostream &	operator<< (std::ostream &out, const mcrl2::lps::action_rename_rule &r)
	Output an action_rename_rule to ostream.
std::ostream &	operator<< (std::ostream &out, const mcrl2::lps::action_rename_specification &s)
	Output a action_rename_rule to ostream.
template<typename T >
void	swap (mcrl2::utilities::shared_reference< T > &a, mcrl2::utilities::shared_reference< T > &b) noexcept

Detailed Description

STL namespace.

Function Documentation

operator<<() [1/2]

std::ostream & std::operator<< ( std::ostream &  out, const mcrl2::lps::action_rename_rule &  r  )

inline

Output an action_rename_rule to ostream.

Parameters

out	An output stream

Returns

The output stream

Definition at line 876 of file action_rename.h.

operator<<() [2/2]

std::ostream & std::operator<< ( std::ostream &  out, const mcrl2::lps::action_rename_specification &  s  )

inline

Output a action_rename_rule to ostream.

Parameters

out	An output stream

Returns

The output stream

Definition at line 886 of file action_rename.h.

swap() [1/7]

void std::swap ( atermpp::aterm &  t1, atermpp::aterm &  t2  )

inlinenoexcept

Swaps two term_applss.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms.

Parameters

t1	The first term.
t2	The second term.

Definition at line 475 of file aterm.h.

swap() [2/7]

template<>

void std::swap ( atermpp::aterm_int &  t1, atermpp::aterm_int &  t2  )

inlinenoexcept

Swaps two aterm_ints.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms. In order to be used in the standard containers, the declaration must be preceded by an empty template declaration.

Parameters

t1	The first term
t2	The second term

Definition at line 87 of file aterm_int.h.

swap() [3/7]

template<>

void std::swap ( atermpp::aterm_string &  t1, atermpp::aterm_string &  t2  )

inlinenoexcept

Swaps two aterm_strings.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms. In order to be used in the standard containers, the declaration must be preceded by an empty template declaration.

Parameters

t1	The first term
t2	The second term

Definition at line 98 of file aterm_string.h.

swap() [4/7]

template<class T >

void std::swap ( atermpp::term_balanced_tree< T > &  t1, atermpp::term_balanced_tree< T > &  t2  )

inline

Swaps two balanced trees.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms.

Parameters

t1	The first term
t2	The second term

Definition at line 460 of file aterm_balanced_tree.h.

swap() [5/7]

template<class T >

void std::swap ( atermpp::term_list< T > &  t1, atermpp::term_list< T > &  t2  )

inlinenoexcept

Swaps two term_lists.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms.

Parameters

t1	The first term
t2	The second term

Definition at line 572 of file aterm_list.h.

swap() [6/7]

template<>

void std::swap ( atermpp::unprotected_aterm_core &  t1, atermpp::unprotected_aterm_core &  t2  )

inlinenoexcept

Swaps two aterms.

This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms. In order to be used in the standard containers, the declaration must be preceded by an empty template declaration. This swap function is not used for classes that derive from the aterm class. A specific swap function must be provided for derived classes.

Parameters

t1	The first term
t2	The second term

Definition at line 462 of file aterm.h.

swap() [7/7]

template<typename T >

void std::swap ( mcrl2::utilities::shared_reference< T > &  a, mcrl2::utilities::shared_reference< T > &  b  )

noexcept

Definition at line 264 of file shared_reference.h.