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)

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.

Member Function Documentation

output()

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

Member Data Documentation

guard

const exprt path_nodet::guard

Definition at line 42 of file path.h.

loc

goto_programt::targett path_nodet::loc

Definition at line 41 of file path.h.

Referenced by all_paths_enumeratort::backtrack(), and all_paths_enumeratort::complete_path().

---

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

• goto-instrument/accelerate/path.h