Element in the cache that keeps track of the information for a single unfolded sort, say s. More...

Public Attributes
mcrl2::data::function_symbol_vector	affected_constructors

mcrl2::data::basic_sort	fresh_basic_sort

mcrl2::data::function_symbol_vector	new_constructors

mcrl2::core::identifier_string	case_function_name

std::map< mcrl2::data::sort_expression, mcrl2::data::function_symbol >	case_functions

mcrl2::data::function_symbol	determine_function

mcrl2::data::function_symbol_vector	projection_functions

Detailed Description

Element in the cache that keeps track of the information for a single unfolded sort, say s.

Definition at line 27 of file lpsparunfoldlib.h.

Member Data Documentation

mcrl2::data::function_symbol_vector mcrl2::lps::unfold_cache_element::affected_constructors

Definition at line 29 of file lpsparunfoldlib.h.

mcrl2::core::identifier_string mcrl2::lps::unfold_cache_element::case_function_name

Definition at line 32 of file lpsparunfoldlib.h.

std::map<mcrl2::data::sort_expression, mcrl2::data::function_symbol> mcrl2::lps::unfold_cache_element::case_functions

Definition at line 36 of file lpsparunfoldlib.h.

mcrl2::data::function_symbol mcrl2::lps::unfold_cache_element::determine_function

Definition at line 37 of file lpsparunfoldlib.h.

mcrl2::data::basic_sort mcrl2::lps::unfold_cache_element::fresh_basic_sort

Definition at line 30 of file lpsparunfoldlib.h.

mcrl2::data::function_symbol_vector mcrl2::lps::unfold_cache_element::new_constructors

Definition at line 31 of file lpsparunfoldlib.h.

mcrl2::data::function_symbol_vector mcrl2::lps::unfold_cache_element::projection_functions

Definition at line 38 of file lpsparunfoldlib.h.

The documentation for this struct was generated from the following file: