cprover
Loading...
Searching...
No Matches
unwindsett Class Reference

#include <unwindset.h>

+ Collaboration diagram for unwindsett:

Public Member Functions

 unwindsett (abstract_goto_modelt &goto_model)
 
void parse_unwind (const std::string &unwind)
 
void parse_unwindset (const std::list< std::string > &unwindset, message_handlert &message_handler)
 
optionalt< unsignedget_limit (const irep_idt &loop, unsigned thread_id) const
 
void parse_unwindset_file (const std::string &file_name, message_handlert &message_handler)
 

Protected Types

typedef std::map< irep_idt, optionalt< unsigned > > loop_mapt
 
using thread_loop_mapt
 

Protected Member Functions

void parse_unwindset_one_loop (std::string loop_limit, message_handlert &message_handler)
 

Protected Attributes

abstract_goto_modeltgoto_model
 
optionalt< unsignedglobal_limit
 
loop_mapt loop_map
 
thread_loop_mapt thread_loop_map
 

Detailed Description

Definition at line 25 of file unwindset.h.

Member Typedef Documentation

◆ loop_mapt

Definition at line 60 of file unwindset.h.

◆ thread_loop_mapt

Initial value:
std::map<std::pair<irep_idt, unsigned>, optionalt<unsigned>>
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563

Definition at line 64 of file unwindset.h.

Constructor & Destructor Documentation

◆ unwindsett()

unwindsett::unwindsett ( abstract_goto_modelt & goto_model)
inlineexplicit

Definition at line 33 of file unwindset.h.

Member Function Documentation

◆ get_limit()

optionalt< unsigned > unwindsett::get_limit ( const irep_idt & loop,
unsigned thread_id ) const

Definition at line 209 of file unwindset.cpp.

◆ parse_unwind()

void unwindsett::parse_unwind ( const std::string & unwind)

Definition at line 23 of file unwindset.cpp.

◆ parse_unwindset()

void unwindsett::parse_unwindset ( const std::list< std::string > & unwindset,
message_handlert & message_handler )

Definition at line 200 of file unwindset.cpp.

◆ parse_unwindset_file()

void unwindsett::parse_unwindset_file ( const std::string & file_name,
message_handlert & message_handler )

Definition at line 230 of file unwindset.cpp.

◆ parse_unwindset_one_loop()

void unwindsett::parse_unwindset_one_loop ( std::string loop_limit,
message_handlert & message_handler )
protected

Definition at line 29 of file unwindset.cpp.

Member Data Documentation

◆ global_limit

optionalt<unsigned> unwindsett::global_limit
protected

Definition at line 56 of file unwindset.h.

◆ goto_model

abstract_goto_modelt& unwindsett::goto_model
protected

Definition at line 54 of file unwindset.h.

◆ loop_map

loop_mapt unwindsett::loop_map
protected

Definition at line 61 of file unwindset.h.

◆ thread_loop_map

thread_loop_mapt unwindsett::thread_loop_map
protected

Definition at line 66 of file unwindset.h.


The documentation for this class was generated from the following files: