cprover
Loading...
Searching...
No Matches
visited_nodet< E > Class Template Reference

A node type with an extra bit. More...

#include <graph.h>

Inheritance diagram for visited_nodet< E >:
Collaboration diagram for visited_nodet< E >:

Public Types

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

Public Member Functions

 visited_nodet ()
Public Member Functions inherited from graph_nodet< E >
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 ()

Public Attributes

bool visited
Public Attributes inherited from graph_nodet< E >
edgest in
edgest out

Detailed Description

template<class E>
class visited_nodet< E >

A node type with an extra bit.

Definition at line 100 of file graph.h.

Member Typedef Documentation

◆ edgest

template<class E>
typedef graph_nodet<E>::edgest visited_nodet< E >::edgest

Definition at line 104 of file graph.h.

◆ edget

template<class E>
typedef graph_nodet<E>::edget visited_nodet< E >::edget

Definition at line 103 of file graph.h.

Constructor & Destructor Documentation

◆ visited_nodet()

template<class E>
visited_nodet< E >::visited_nodet ( )
inline

Definition at line 108 of file graph.h.

Member Data Documentation

◆ visited

template<class E>
bool visited_nodet< E >::visited

Definition at line 106 of file graph.h.


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