Loading...

Searching...

No Matches

Public Types | Public Attributes | List of all members

xml_graph_nodet Struct Reference

#include <graphml.h>

+ Inheritance diagram for xml_graph_nodet:

[フレーム]

[legend]

+ Collaboration diagram for xml_graph_nodet:

[フレーム]

[legend]

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:

/home/runner/work/cbmc/cbmc/src/xmllang/graphml.h