cprover
goto_program_template.cpp File Reference

Goto Program Template. More...

#include "goto_program_template.h"
#include <ostream>
Include dependency graph for goto_program_template.cpp:

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &out, goto_program_instruction_typet t)
 

Detailed Description

Goto Program Template.

Definition in file goto_program_template.cpp.

Function Documentation

§ operator<<()

std::ostream& operator<< ( std::ostream &  out,
goto_program_instruction_typet  t 
)