Goto programs

Classes
class	goto_programt
	A generic container class for a control flow graph for one function, in the form of a goto-program. More...

Detailed Description