cprover
|
#include <graphml.h>
Public Types | |
typedef graph_nodet< xml_edget >::edget | edget |
typedef graph_nodet< xml_edget >::edgest | edgest |
![]() | |
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 |
unsigned | thread_nr |
bool | is_violation |
bool | has_invariant |
std::string | invariant |
std::string | invariant_scope |
![]() | |
edgest | in |
edgest | out |
Additional Inherited Members | |
![]() | |
void | add_in (node_indext n) |
void | add_out (node_indext n) |
void | erase_in (node_indext n) |
void | erase_out (node_indext n) |
typedef graph_nodet<xml_edget>::edgest xml_graph_nodet::edgest |
typedef graph_nodet<xml_edget>::edget xml_graph_nodet::edget |
bool xml_graph_nodet::has_invariant |
Definition at line 38 of file graphml.h.
Referenced by build_graph_rec(), and write_graphml().
std::string xml_graph_nodet::invariant |
Definition at line 39 of file graphml.h.
Referenced by write_graphml().
std::string xml_graph_nodet::invariant_scope |
Definition at line 40 of file graphml.h.
Referenced by write_graphml().
bool xml_graph_nodet::is_violation |
Definition at line 37 of file graphml.h.
Referenced by build_graph_rec(), and write_graphml().
std::string xml_graph_nodet::node_name |
Definition at line 33 of file graphml.h.
Referenced by build_graph(), build_graph_rec(), and write_graphml().
unsigned xml_graph_nodet::thread_nr |
Definition at line 36 of file graphml.h.
Referenced by build_graph_rec(), and write_graphml().