solver_resource_limitst Class Referenceabstract
#include <solver_resource_limits.h>
Inheritance diagram for solver_resource_limitst:Public Member Functions | |
| virtual void | set_time_limit_seconds (uint32_t)=0 |
| Set the limit for the solver to time out in seconds. More... | |
| virtual | ~solver_resource_limitst ()=default |
Detailed Description
Definition at line 15 of file solver_resource_limits.h.
Constructor & Destructor Documentation
◆ ~solver_resource_limitst()
|
virtualdefault |
Member Function Documentation
◆ set_time_limit_seconds()
|
pure virtual |
Set the limit for the solver to time out in seconds.
Implemented in prop_conv_solvert.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/solvers/prop/solver_resource_limits.h
