cprover
Loading...
Searching...
No Matches
freer.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Reuben Thomas, reuben.thomas@diffblue.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_FREER_H
10#define CPROVER_UTIL_FREER_H
11
12#include <cstdlib>
13#include <utility>
14
24struct freert
25{
26 template <typename T>
27 void operator()(T &&t) const
28 {
29 free(std::forward<T>(t));
30 }
31};
32
33#endif
A functor wrapping std::free.
Definition: freer.h:25
void operator()(T &&t) const
Definition: freer.h:27