cprover
|
#include <unwindset.h>
Public Member Functions | |
void | parse_unwind (const std::string &unwind) |
void | parse_unwindset (const std::string &unwindset) |
void | parse_unwindset (const std::list< 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 Member Functions | |
void | parse_unwindset_one_loop (std::string loop_limit) |
Protected Attributes | |
optionalt< unsigned > | global_limit |
loop_mapt | loop_map |
thread_loop_mapt | thread_loop_map |
Definition at line 23 of file unwindset.h.
|
protected |
Definition at line 53 of file unwindset.h.
|
protected |
Definition at line 57 of file unwindset.h.
Definition at line 73 of file unwindset.cpp.
void unwindsett::parse_unwind | ( | const std::string & | unwind | ) |
Definition at line 18 of file unwindset.cpp.
void unwindsett::parse_unwindset | ( | const std::list< std::string > & | unwindset | ) |
Definition at line 66 of file unwindset.cpp.
void unwindsett::parse_unwindset | ( | const std::string & | unwindset | ) |
Definition at line 57 of file unwindset.cpp.
void unwindsett::parse_unwindset_file | ( | const std::string & | file_name | ) |
Definition at line 94 of file unwindset.cpp.
|
protected |
Definition at line 24 of file unwindset.cpp.
|
protected |
Definition at line 49 of file unwindset.h.
|
protected |
Definition at line 54 of file unwindset.h.
|
protected |
Definition at line 59 of file unwindset.h.