|
cprover
|
#include <lazy.h>
Public Member Functions | |
| valuet | force () |
| Force the computation of the value. | |
Static Public Member Functions | |
| static lazyt | from_fun (std::function< valuet()> fun) |
Delay the computation of fun to the next time the force method is called. | |
Private Member Functions | |
| lazyt (std::function< valuet()> fun) | |
Private Attributes | |
| std::optional< valuet > | value |
| std::function< valuet()> | evaluation_function |
|
inline |
|
private |
|
private |