cprover
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
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
virtual void set_time_limit_seconds(uint32_t)=0
Set the limit for the solver to time out in seconds.
virtual ~solver_resource_limitst()=default