CBMC
Public Types | Public Attributes | List of all members
xml_graph_nodet Struct Reference

#include <graphml.h>

+ Inheritance diagram for xml_graph_nodet:
+ Collaboration diagram for xml_graph_nodet:

Public Types

typedef graph_nodet< xml_edget >::edget edget
 
typedef graph_nodet< xml_edget >::edgest edgest
 
- Public Types inherited from graph_nodet< xml_edget >
typedef std::size_t node_indext
 
typedef xml_edget edget
 
typedef std::map< node_indext, edget > edgest
 

Public Attributes

std::string node_name
 
irep_idt file
 
irep_idt line
 
bool is_violation
 
bool has_invariant
 
std::string invariant
 
std::string invariant_scope
 
- Public Attributes inherited from graph_nodet< xml_edget >
edgest in
 
edgest out
 

Additional Inherited Members

- Public Member Functions inherited from graph_nodet< xml_edget >
void add_in (node_indext n)
 
void add_out (node_indext n)
 
void erase_in (node_indext n)
 
void erase_out (node_indext n)
 
std::string pretty (const node_indext &idx) const
 
virtual ~graph_nodet ()
 

Detailed Description

Definition at line 29 of file graphml.h.

Member Typedef Documentation

◆ edgest

typedef graph_nodet<xml_edget>::edgest xml_graph_nodet::edgest

Definition at line 32 of file graphml.h.

◆ edget

typedef graph_nodet<xml_edget>::edget xml_graph_nodet::edget

Definition at line 31 of file graphml.h.

Member Data Documentation

◆ file

irep_idt xml_graph_nodet::file

Definition at line 35 of file graphml.h.

◆ has_invariant

bool xml_graph_nodet::has_invariant

Definition at line 38 of file graphml.h.

◆ invariant

std::string xml_graph_nodet::invariant

Definition at line 39 of file graphml.h.

◆ invariant_scope

std::string xml_graph_nodet::invariant_scope

Definition at line 40 of file graphml.h.

◆ is_violation

bool xml_graph_nodet::is_violation

Definition at line 37 of file graphml.h.

◆ line

irep_idt xml_graph_nodet::line

Definition at line 36 of file graphml.h.

◆ node_name

std::string xml_graph_nodet::node_name

Definition at line 34 of file graphml.h.

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