#include <unwindset.h>
Definition at line 25 of file unwindset.h.
◆ loop_mapt
◆ thread_loop_mapt
Initial value:
std::map<std::pair<irep_idt, unsigned>, std::optional<unsigned>>
Definition at line 65 of file unwindset.h.
◆ unwindsett()
◆ get_limit()
std::optional< unsigned > unwindsett::get_limit |
( |
const irep_idt & | loop, |
|
|
unsigned | thread_id ) const |
◆ parse_unwind()
void unwindsett::parse_unwind |
( |
const std::string & | unwind | ) |
|
◆ parse_unwindset()
void unwindsett::parse_unwindset |
( |
const std::list< std::string > & | unwindset, |
|
|
message_handlert & | message_handler ) |
◆ parse_unwindset_file()
void unwindsett::parse_unwindset_file |
( |
const std::string & | file_name, |
|
|
message_handlert & | message_handler ) |
◆ parse_unwindset_one_loop()
void unwindsett::parse_unwindset_one_loop |
( |
std::string | loop_limit, |
|
|
message_handlert & | message_handler ) |
|
protected |
◆ global_limit
std::optional<unsigned> unwindsett::global_limit |
|
protected |
◆ goto_model
◆ loop_map
◆ thread_loop_map
The documentation for this class was generated from the following files: