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:

• goto-symex/frame.h