◆ observe_statement()

template<typename D >

std::string observe_statement	(	graph_node< D > &	gn,
		std::string	program_name,
		bool	observed = `true`
	)

Translates an observed node into corresponding ccyan observe semantics.

Template Parameters

D	The type of node to be translated

Parameters

gn	the node to be translated
program_name	the name of the program
observed	is the node in the static set of ccyan observed nodes?