CBMC
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: