CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Member Functions | Public Attributes | List of all members
framet::active_loop_infot Class Reference

#include <frame.h>

+ Collaboration diagram for framet::active_loop_infot:

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.
 
std::vector< std::reference_wrapper< lexical_loopst::loopt > > blacklisted_loops
 Set of loop ID's that have been blacklisted.
 
lexical_loopst::loopt & loop
 

Detailed Description

Definition at line 56 of file frame.h.

Constructor & Destructor Documentation

◆ active_loop_infot()

framet::active_loop_infot::active_loop_infot ( lexical_loopst::loopt &  _loop)
inlineexplicit

Definition at line 59 of file frame.h.

Member Data Documentation

◆ blacklisted_loops

std::vector<std::reference_wrapper<lexical_loopst::loopt> > framet::active_loop_infot::blacklisted_loops

Set of loop ID's that have been blacklisted.

Definition at line 68 of file frame.h.

◆ children_too_complex

std::size_t framet::active_loop_infot::children_too_complex = 0

Incremental counter on how many branches this loop has had killed.

Definition at line 64 of file frame.h.

◆ loop

lexical_loopst::loopt& framet::active_loop_infot::loop

Definition at line 71 of file frame.h.

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