cprover
path_nodet Class Reference

#include <path.h>

Collaboration diagram for path_nodet:
[legend]

Public Member Functions

 path_nodet (const goto_programt::targett &_loc)
 
 path_nodet (const goto_programt::targett &_loc, const exprt &_guard)
 
void output (const goto_programt &program, std::ostream &str)
 

Public Attributes

goto_programt::targett loc
 
const exprt guard
 

Detailed Description

Definition at line 23 of file path.h.

Constructor & Destructor Documentation

§ path_nodet() [1/2]

path_nodet::path_nodet ( const goto_programt::targett _loc)
inlineexplicit

Definition at line 26 of file path.h.

§ path_nodet() [2/2]

path_nodet::path_nodet ( const goto_programt::targett _loc,
const exprt _guard 
)
inline

Definition at line 32 of file path.h.

References output().

Member Function Documentation

§ output()

void path_nodet::output ( const goto_programt program,
std::ostream &  str 
)

Referenced by path_nodet().

Member Data Documentation

§ guard

const exprt path_nodet::guard

Definition at line 42 of file path.h.

§ loc

goto_programt::targett path_nodet::loc

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