cprover
unwindsett Class Reference

#include <unwindset.h>

Collaboration diagram for unwindsett:
[legend]

Public Member Functions

void parse_unwind (const std::string &unwind)
 
void parse_unwindset (const std::string &unwindset)
 
optionalt< unsigned > get_limit (const irep_idt &loop, unsigned thread_id) const
 
void parse_unwindset_file (const std::string &file_name)
 

Protected Types

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

Protected Attributes

optionalt< unsigned > global_limit
 
loop_mapt loop_map
 
thread_loop_mapt thread_loop_map
 

Detailed Description

Definition at line 21 of file unwindset.h.

Member Typedef Documentation

◆ loop_mapt

typedef std::map<irep_idt, optionalt<unsigned> > unwindsett::loop_mapt
protected

Definition at line 47 of file unwindset.h.

◆ thread_loop_mapt

using unwindsett::thread_loop_mapt = std::map<std::pair<irep_idt, unsigned>, optionalt<unsigned> >
protected

Definition at line 52 of file unwindset.h.

Member Function Documentation

◆ get_limit()

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

◆ parse_unwind()

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

Definition at line 18 of file unwindset.cpp.

References global_limit, and unsafe_string2unsigned().

Referenced by goto_instrument_parse_optionst::doit(), and bmct::setup().

◆ parse_unwindset()

void unwindsett::parse_unwindset ( const std::string &  unwindset)

◆ parse_unwindset_file()

void unwindsett::parse_unwindset_file ( const std::string &  file_name)

Definition at line 85 of file unwindset.cpp.

References parse_unwindset(), and widen().

Referenced by goto_instrument_parse_optionst::doit().

Member Data Documentation

◆ global_limit

optionalt<unsigned> unwindsett::global_limit
protected

Definition at line 43 of file unwindset.h.

Referenced by get_limit(), and parse_unwind().

◆ loop_map

loop_mapt unwindsett::loop_map
protected

Definition at line 48 of file unwindset.h.

Referenced by get_limit(), and parse_unwindset().

◆ thread_loop_map

thread_loop_mapt unwindsett::thread_loop_map
protected

Definition at line 53 of file unwindset.h.

Referenced by get_limit(), and parse_unwindset().


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