type_traits.h File Reference

#include <type_traits>

Include dependency graph for type_traits.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	detail::make_voidt< typest >

Namespaces
	detail

Typedefs
template<typename... typest>
using	void_t = typename detail::make_voidt< typest... >::type

Detailed Description

Back ports of utilities available in the <type_traits> library for C++14 or C++17 to C++11. These can be replaced with the standard library versions as and when we upgrade the version CBMC is compiled with.

Definition in file type_traits.h.

Typedef Documentation

void_t

template<typename... typest>

using void_t = typename detail::make_voidt<typest...>::type

Definition at line 35 of file type_traits.h.