CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
solver_resource_limitst Class Referenceabstract

#include <solver_resource_limits.h>

+ Inheritance diagram for solver_resource_limitst:
[フレーム]
[legend]

Public Member Functions

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
 

Detailed Description

Definition at line 15 of file solver_resource_limits.h.

Constructor & Destructor Documentation

◆  ~solver_resource_limitst()

virtual solver_resource_limitst::~solver_resource_limitst ( )
virtualdefault

Member Function Documentation

◆  set_time_limit_seconds()

virtual void solver_resource_limitst::set_time_limit_seconds ( uint32_t  )
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:

AltStyle によって変換されたページ (->オリジナル) /