std Namespace Reference

Classes
struct	char_traits
struct	input_iterator_tag
	Marking input iterators. More...
struct	output_iterator_tag
	Marking output iterators. More...
struct	forward_iterator_tag
	Marking forward iterators. More...
struct	bidirectional_iterator_tag
	Marking bidirectional iterators. More...
struct	random_access_iterator_tag
struct	hash< irep_idt >
struct	hash< assert_pair >

Typedefs
typedef void(*	terminate_handler) ()
typedef void(*	unexpected_handler) ()

Functions
void	terminate () noexcept
terminate_handler	set_terminate (terminate_handler f) noexcept
terminate_handler	get_terminate () noexcept
unexpected_handler	set_unexpected (unexpected_handler f) noexcept
unexpected_handler	get_unexpected () noexcept
void	unexpected ()
bool	uncaught_exception () noexcept
int	uncaught_exceptions () noexcept
template<class T>
const T &	max (const T &left, const T &right)
template<class T>
const T &	min (const T &left, const T &right)

Typedef Documentation

terminate_handler

typedef void(* std::terminate_handler) ()

unexpected_handler

typedef void(* std::unexpected_handler) ()

Function Documentation

get_terminate()

terminate_handler std::get_terminate ( )

noexcept

get_unexpected()

unexpected_handler std::get_unexpected ( )

noexcept

max()

template<class T>

const T & std::max	(	const T &	left,
		const T &	right )

min()

template<class T>

const T & std::min	(	const T &	left,
		const T &	right )

set_terminate()

terminate_handler std::set_terminate ( terminate_handler f )

noexcept

set_unexpected()

unexpected_handler std::set_unexpected ( unexpected_handler f )

noexcept

terminate()

void std::terminate ( )

noexcept

uncaught_exception()

bool std::uncaught_exception ( )

noexcept

uncaught_exceptions()

int std::uncaught_exceptions ( )

noexcept

unexpected()

void std::unexpected

(

)