mCRL2
Loading...
Searching...
No Matches
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 >
 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_appl< T > >
 Standard hash function. 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 >
 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_arbitrary_precision_fraction >
 specialization of the standard std::hash function. 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::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 &t1, atermpp::unprotected_aterm &t2) noexcept
 Swaps two aterms.
 
template<class T >
void swap (atermpp::term_appl< T > &t1, atermpp::term_appl< T > &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
outAn output stream
Returns
The output stream

Definition at line 890 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
outAn output stream
Returns
The output stream

Definition at line 900 of file action_rename.h.

◆ swap() [1/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
t1The first term
t2The second term

Definition at line 86 of file aterm_int.h.

◆ swap() [2/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
t1The first term
t2The second term

Definition at line 98 of file aterm_string.h.

◆ swap() [3/7]

template<class T >
void std::swap ( atermpp::term_appl< T > &  t1,
atermpp::term_appl< T > &  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
t1The first term.
t2The second term.

Definition at line 366 of file aterm_appl.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
t1The first term
t2The second term

Definition at line 465 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
t1The first term
t2The second term

Definition at line 571 of file aterm_list.h.

◆ swap() [6/7]

template<>
void std::swap ( atermpp::unprotected_aterm t1,
atermpp::unprotected_aterm 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
t1The first term
t2The second term

Definition at line 384 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.