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.