hal::dataflow::merge_states Namespace Reference

Functions
std::shared_ptr< Grouping >	process (const processing::Configuration &config, const std::shared_ptr< const Grouping > &state1, const std::shared_ptr< const Grouping > &state2, bool delete_from_smaller)

Detailed Description

A dataflow analysis pass that merges two groupings into one by keeping the groups that both of them agree on.

Function Documentation

process()

std::shared_ptr< Grouping > hal::dataflow::merge_states::process	(	const processing::Configuration &	config,
		const std::shared_ptr< const Grouping > &	state1,
		const std::shared_ptr< const Grouping > &	state2,
		bool	delete_from_smaller
	)

Definition at line 15 of file merge_states.cpp.

References hal::dataflow::remove_duplicates::process(), and hal::state.

Referenced by hal::dataflow::merge_successor_predecessor_groupings::process().