mCRL2
Loading...
Searching...
No Matches
type_checker.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes

class  mcrl2::data::type_checker
 

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

bool mcrl2::data::detail::is_pos (const core::identifier_string &Number)
 
bool mcrl2::data::detail::is_nat (const core::identifier_string &Number)
 
function_sort mcrl2::data::detail::make_function_sort_ (const sort_expression &domain, const sort_expression &codomain)
 
template<typename Function , typename T >
atermpp::term_list< T > mcrl2::data::detail::transform_aterm_list (const Function &f, const atermpp::term_list< T > &x)
 
sort_expression mcrl2::data::detail::unwind_sort_expression (const sort_expression &x, const alias_vector &aliases)
 
bool mcrl2::data::detail::is_numeric_type (const sort_expression &x)
 

Detailed Description

add your file description here.

Definition in file type_checker.h.