|
CBMC
|
#include <utility>
Include dependency graph for constructor_of.h:
This graph shows which files directly or indirectly include this file: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. | |
|
constexpr |
Returns a functor which constructs type constructedt.
| constructedt | A type for construction. |
Definition at line 30 of file constructor_of.h.