type_check_tree.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::data::type_check_context
struct	mcrl2::data::type_check_constraint
struct	mcrl2::data::true_constraint
struct	mcrl2::data::false_constraint
struct	mcrl2::data::is_element_of_constraint
struct	mcrl2::data::is_equal_to_constraint
struct	mcrl2::data::subsort_constraint
struct	mcrl2::data::or_constraint
struct	mcrl2::data::and_constraint
struct	mcrl2::data::type_check_node
struct	mcrl2::data::id_node
struct	mcrl2::data::number_node
struct	mcrl2::data::constant_node
struct	mcrl2::data::true_node
struct	mcrl2::data::false_node
struct	mcrl2::data::empty_list_node
struct	mcrl2::data::empty_set_node
struct	mcrl2::data::empty_bag_node
struct	mcrl2::data::list_enumeration_node
struct	mcrl2::data::bag_enumeration_node
struct	mcrl2::data::set_enumeration_node
struct	mcrl2::data::bag_or_set_enumeration_node
struct	mcrl2::data::function_update_node
struct	mcrl2::data::application_node
struct	mcrl2::data::unary_operator_node
struct	mcrl2::data::forall_node
struct	mcrl2::data::exists_node
struct	mcrl2::data::lambda_node
struct	mcrl2::data::binary_operator_node
struct	mcrl2::data::where_clause_node
struct	mcrl2::data::type_check_tree_generator

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.

Typedefs
typedef std::map< untyped_sort_variable, sort_expression >	mcrl2::data::sort_substitution
typedef std::pair< sort_substitution, int >	mcrl2::data::solution
typedef std::shared_ptr< type_check_node >	mcrl2::data::type_check_node_ptr
typedef std::shared_ptr< type_check_constraint >	mcrl2::data::constraint_ptr

Functions
template<typename T >
bool	mcrl2::data::has_untyped_sort (const T &x)
template<typename T >
T	mcrl2::data::replace_untyped_sort (const T &x, const sort_expression &replacement)
const untyped_sort_variable &	mcrl2::data::make_untyped_sort_variable (const sort_expression &x)
sort_expression	mcrl2::data::substitute (const sort_expression &x, const sort_substitution &sigma)
template<typename Container >
std::string	mcrl2::data::print_node_vector (const std::string &name, const Container &nodes, const std::string &sep=", ", const std::string &first="", const std::string &last="")
template<typename Container >
std::string	mcrl2::data::print_vector (const std::string &name, const Container &nodes)
constraint_ptr	mcrl2::data::substitute_constraint (constraint_ptr p, const sort_substitution &sigma)
constraint_ptr	mcrl2::data::make_and_constraint (const std::vector< constraint_ptr > &alternatives)
constraint_ptr	mcrl2::data::make_or_constraint (const std::vector< constraint_ptr > &alternatives)
constraint_ptr	mcrl2::data::make_is_equal_to_constraint (const sort_expression &s1, const sort_expression &s2, int cost=0)
constraint_ptr	mcrl2::data::make_false_constraint (const std::string &message)
constraint_ptr	mcrl2::data::make_true_constraint (int cost=0)
constraint_ptr	mcrl2::data::make_function_sort_constraint (const function_sort &f1, const sort_expression &s2)
constraint_ptr	mcrl2::data::make_is_element_of_constraint (const sort_expression &s, const std::vector< sort_expression > &sorts, int cost=0)
constraint_ptr	mcrl2::data::make_subsort_constraint (const sort_expression &s1, const sort_expression &s2, int cost=0)
std::vector< constraint_ptr >	mcrl2::data::join_or_is_element_of_constraints (const std::vector< constraint_ptr > &constraints)
function_sort_list	mcrl2::data::filter_sorts (const function_sort_list &sorts, std::size_t arity)
void	mcrl2::data::print_node (const type_check_node_ptr &node)

Detailed Description

add your file description here.

Definition in file type_check_tree.h.