cprover
|
#include <frame.h>
Public Member Functions | |
active_loop_infot (lexical_loopst::loopt &_loop) | |
Public Attributes | |
std::size_t | children_too_complex = 0 |
Incremental counter on how many branches this loop has had killed. More... | |
std::vector< std::reference_wrapper< lexical_loopst::loopt > > | blacklisted_loops |
Set of loop ID's that have been blacklisted. More... | |
lexical_loopst::loopt & | loop |
|
inlineexplicit |
std::vector<std::reference_wrapper<lexical_loopst::loopt> > framet::active_loop_infot::blacklisted_loops |
std::size_t framet::active_loop_infot::children_too_complex = 0 |
lexical_loopst::loopt& framet::active_loop_infot::loop |