12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_H 33 const exprt &_guard) :
45 typedef std::list<path_nodet>
patht;
54 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_PATH_H
path_nodet(const goto_programt::targett &_loc)
instructionst::iterator targett
API to expression classes.
std::list< path_nodet > patht
std::list< patht > pathst
A generic container class for the GOTO intermediate representation of one function.
Base class for all expressions.
goto_programt::targett loc
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
path_nodet(const goto_programt::targett &_loc, const exprt &_guard)
void output(const goto_programt &program, std::ostream &str) const