CBMC
Loading...
Searching...
No Matches
solver_resource_limits.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Solver capability to set resource limits
4
5Author: 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
15class solver_resource_limitst
16{
17public:
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
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