constructor_oft< constructedt > Class Template Reference

A type of functor which wraps around the set of constructors of a type. More...

#include <constructor_of.h>

Public Member Functions
template<typename... argumentst>
constructedt	operator() (argumentst &&... arguments)

Detailed Description

template<typename constructedt>
class constructor_oft< constructedt >

A type of functor which wraps around the set of constructors of a type.

Template Parameters

constructedt

The type which this functor constructs.

Definition at line 17 of file constructor_of.h.

Member Function Documentation

operator()()

template<typename constructedt >

template<typename... argumentst>

constructedt constructor_oft< constructedt >::operator() ( argumentst &&...  arguments )

inline

Definition at line 21 of file constructor_of.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/constructor_of.h