CBMC
|
#include <utility>
Go to the source code of this file.
Classes | |
class | constructor_oft< constructedt > |
A type of functor which wraps around the set of constructors of a type. More... | |
Functions | |
template<typename constructedt > | |
constexpr constructor_oft< constructedt > | constructor_of () |
Returns a functor which constructs type constructedt . More... | |
|
constexpr |
Returns a functor which constructs type constructedt
.
constructedt | A type for construction. |
Definition at line 30 of file constructor_of.h.