cfg_dominators_templatet< P, T, post_dom >::nodet Struct Reference

#include <cfg_dominators.h>

Collaboration diagram for cfg_dominators_templatet< P, T, post_dom >::nodet:

Public Attributes
target_sett	dominators

Detailed Description

template<class P, class T, bool post_dom>
struct cfg_dominators_templatet< P, T, post_dom >::nodet

Definition at line 41 of file cfg_dominators.h.

Member Data Documentation

dominators

template<class P , class T , bool post_dom>

target_sett cfg_dominators_templatet< P, T, post_dom >::nodet::dominators

Definition at line 43 of file cfg_dominators.h.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/cfg_dominators.h