split_finite_variables.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
template<typename FILTER >
void	mcrl2::data::detail::split_finite_variables (data::variable_list variables, const data::data_specification &data, data::variable_list &finite_variables, data::variable_list &infinite_variables, data::variable_list &unused, const FILTER filter)
	Splits the variables in a subset with finite sort, with infinite sort and those that are not used according to a filter.
template<typename Rewriter , typename FILTER >
void	mcrl2::data::detail::split_enumerable_variables (data::variable_list variables, const data::data_specification &data, const Rewriter &rewr, data::variable_list &enumerable_variables, data::variable_list &non_enumerable_variables, data::variable_list &unused, const FILTER filter)
	Splits a list of variables in those that are enumerable, non enumerable and not used, according to a filter.

Detailed Description

add your file description here.

Definition in file split_finite_variables.h.