A program part. More...

#include <program.hh>

Public Member Functions
	ProgramPart (StmProgram part)
	Construct a program part.

Public Attributes
StmProgram	part
	The (first) program part statement that introduced the part.

StmVec	stms
	The statements in the program part.

std::vector< Stm const * >	srcs
	The source index of the statement at the corresponding index.

SymbolVec	facts
	The facts in the program part.

Detailed Description

A program part.

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

Public Member Functions