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.
struct	equal_to< dlinear::drake::symbolic::Expression >
struct	equal_to< dlinear::drake::symbolic::Formula >
struct	equal_to< dlinear::drake::symbolic::Variable >
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< dlinear::drake::symbolic::Expression >
struct	hash< dlinear::drake::symbolic::Formula >
struct	hash< dlinear::drake::symbolic::Variable >
struct	hash< mpq_class >
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.
struct	less< dlinear::drake::symbolic::Expression >
struct	less< dlinear::drake::symbolic::Formula >
struct	less< dlinear::drake::symbolic::Variable >
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.
struct	numeric_limits< dlinear::drake::symbolic::Expression >
class	ofstream
	STL class.
class	ostream
	STL class.
class	ostringstream
	STL class.
class	out_of_range
	STL class.
class	overflow_error
	STL class.
class	pair
	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.

Detailed Description

STL namespace.

Author

Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)

Copyright

2024 dlinear

Licence:

BSD 3-Clause License

Author

Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)

Copyright

2024 dlinear

Licence:

BSD 3-Clause License GMP wrapper.

This header includes the GMP library and provides a various helpers. Other files in the library should depend on this header instead of the GMP library directly. Instead of including <gmpxx.h>, include "dlinear/libs/gmp.h". In the build files, instead of depending on "@linux_libs//:gmpxx", depend on "//dlinear/libs:gmp".