cprover
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:
[legend]

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 31 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 33 of file cfg_dominators.h.

Referenced by dep_graph_domaint::control_dependencies().


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