cprover
unwind.h File Reference

Loop unwinding. More...

Include dependency graph for unwind.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  goto_unwindt
 
struct  goto_unwindt::unwind_logt
 

Typedefs

typedef std::map< irep_idt, std::map< unsigned, int > > unwind_sett
 

Functions

void parse_unwindset (const std::string &us, unwind_sett &unwind_set)
 

Detailed Description

Loop unwinding.

Definition in file unwind.h.

Typedef Documentation

§ unwind_sett

typedef std::map<irep_idt, std::map<unsigned, int> > unwind_sett

Definition at line 20 of file unwind.h.

Function Documentation

§ parse_unwindset()

void parse_unwindset ( const std::string &  us,
unwind_sett unwind_set 
)

Definition at line 25 of file unwind.cpp.

References split_string().

Referenced by goto_instrument_parse_optionst::doit().