cprover
|
#include <lazy.h>
Public Member Functions | |
valuet | force () |
Force the computation of the value. More... | |
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. More... | |
Private Member Functions | |
lazyt (std::function< valuet()> fun) | |
Private Attributes | |
optionalt< valuet > | value |
std::function< valuet()> | evaluation_function |
|
inline |
|
private |