lpsparunfoldlib.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::lps::unfold_cache_element
	Element in the cache that keeps track of the information for a single unfolded sort, say s. More...
class	mcrl2::lps::detail::data_equation_argument_generator
	Fresh variable generator for the arguments of a function symbol. More...
class	mcrl2::lps::detail::unfold_data_manager
class	mcrl2::lps::detail::pattern_match_unfolder
	Class for unfolding expressions f(a1,...,an) based on the pattern-matching rewrite rules that define f. More...
struct	mcrl2::lps::detail::replace_pattern_match_builder< Builder >
class	mcrl2::lps::lpsparunfold
struct	mcrl2::lps::parunfold_replacement< Builder, Binder >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.
namespace	mcrl2::lps::detail

Functions
data::data_expression	mcrl2::lps::detail::unfold_pattern_matching (const data::data_expression &x, pattern_match_unfolder &unfolder)
template<template< class > class Builder, template< template< class > class, class, class > class Binder>
parunfold_replacement< Builder, Binder >	mcrl2::lps::apply_parunfold_replacement_builder (const lpsparunfold::case_func_replacement &case_funcs, data::set_identifier_generator &id_generator)
template<typename T >
void	mcrl2::lps::insert_case_functions (T &x, const lpsparunfold::case_func_replacement &cfv, data::set_identifier_generator &id_generator, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
template<typename T >
void	mcrl2::lps::insert_case_functions (T &x, const lpsparunfold::case_func_replacement &cfv, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)