CBMC
lazy.h File Reference
#include <functional>
#include <optional>
+ Include dependency graph for lazy.h:

Go to the source code of this file.

Classes

class  lazyt< valuet >
 

Functions

template<typename funt >
auto lazy (funt fun) -> lazyt< decltype(fun())>
 Delay the computation of fun to the next time the force method is called. More...
 

Function Documentation

◆ lazy()

template<typename funt >
auto lazy ( funt  fun) -> lazyt<decltype(fun())>

Delay the computation of fun to the next time the force method is called.

Definition at line 49 of file lazy.h.