CBMC
Public Member Functions | Public Attributes | List of all members
path_nodet Class Reference

#include <path.h>

+ Collaboration diagram for path_nodet:

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) const
 

Public Attributes

goto_programt::targett loc
 
const exprt guard
 

Detailed Description

Definition at line 22 of file path.h.

Constructor & Destructor Documentation

◆ path_nodet() [1/2]

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

Definition at line 25 of file path.h.

◆ path_nodet() [2/2]

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

Definition at line 31 of file path.h.

Member Function Documentation

◆ output()

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

Member Data Documentation

◆ guard

const exprt path_nodet::guard

Definition at line 41 of file path.h.

◆ loc

goto_programt::targett path_nodet::loc

Definition at line 40 of file path.h.

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