CBMC
solver_resource_limits.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Solver capability to set resource limits
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_SOLVERS_PROP_SOLVER_RESOURCE_LIMITS_H
13 #define CPROVER_SOLVERS_PROP_SOLVER_RESOURCE_LIMITS_H
14 
15 class solver_resource_limitst
16 {
17 public:
19  virtual void set_time_limit_seconds(uint32_t) = 0;
20 
21  virtual ~solver_resource_limitst() = default;
22 };
23 
24 #endif // CPROVER_SOLVERS_PROP_SOLVER_RESOURCE_LIMITS_H
solver_resource_limitst
Definition: solver_resource_limits.h:16
solver_resource_limitst::set_time_limit_seconds
virtual void set_time_limit_seconds(uint32_t)=0
Set the limit for the solver to time out in seconds.
solver_resource_limitst::~solver_resource_limitst
virtual ~solver_resource_limitst()=default