sdfg::control_flow Namespace Reference

Classes
class	InterstateEdge
	An edge connecting two states in an SDFG control-flow graph. More...
class	State
	A state in a Stateful DataFlow Graph (SDFG). More...
class	ReturnState
	A special state that returns a value from the SDFG. More...

Typedefs
typedef symbolic::SymbolMap	Assignments
	Type alias for symbol assignments on interstate edges.

Typedef Documentation

Assignments

typedef symbolic::SymbolMap sdfg::control_flow::Assignments

Type alias for symbol assignments on interstate edges.

Assignments map symbols (left-hand side) to symbolic expressions (right-hand side). Assignments must involve integer scalar symbols only.