mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Protected Member Functions | List of all members
mcrl2::data::type_check_context Struct Reference

#include <type_check_tree.h>

Public Member Functions

 type_check_context (const data::data_specification &dataspec=data::data_specification())
 
std::pair< sort_expression_list, sort_expression_list > find_matching_constants (const std::string &name) const
 
std::pair< function_sort_list, function_sort_list > find_matching_functions (const std::string &name, std::size_t arity) const
 
std::pair< function_sort_list, function_sort_list > find_matching_functions (const std::string &name) const
 
std::vector< sort_expression > find_matching_variables (const std::string &name) const
 
untyped_sort_variable create_sort_variable () const
 
void add_context_variable (const variable &v)
 
void add_context_variables (const variable_list &variables)
 
void remove_context_variable (const variable &v)
 
void remove_context_variables (const variable_list &variables)
 

Public Attributes

std::map< core::identifier_string, sort_expression_list > system_constants
 
std::map< core::identifier_string, function_sort_list > system_functions
 
std::map< core::identifier_string, sort_expression > user_constants
 
std::map< core::identifier_string, function_sort_list > user_functions
 
std::map< core::identifier_string, std::vector< sort_expression > > declared_variables
 
std::size_t sort_variable_index
 

Protected Member Functions

function_sort_list replace_untyped_sorts (const function_sort_list &sorts) const
 

Detailed Description

Definition at line 94 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ type_check_context()

mcrl2::data::type_check_context::type_check_context ( const data::data_specification &  dataspec = data::data_specification())
inline

Definition at line 103 of file type_check_tree.h.

Member Function Documentation

◆ add_context_variable()

void mcrl2::data::type_check_context::add_context_variable ( const variable &  v)
inline

Definition at line 132 of file type_check_tree.h.

◆ add_context_variables()

void mcrl2::data::type_check_context::add_context_variables ( const variable_list &  variables)
inline

Definition at line 137 of file type_check_tree.h.

◆ create_sort_variable()

untyped_sort_variable mcrl2::data::type_check_context::create_sort_variable ( ) const
inline

Definition at line 127 of file type_check_tree.h.

◆ find_matching_constants()

std::pair< sort_expression_list, sort_expression_list > mcrl2::data::type_check_context::find_matching_constants ( const std::string &  name) const
inline

Definition at line 1238 of file type_check_tree.h.

◆ find_matching_functions() [1/2]

std::pair< function_sort_list, function_sort_list > mcrl2::data::type_check_context::find_matching_functions ( const std::string &  name) const
inline

Definition at line 1288 of file type_check_tree.h.

◆ find_matching_functions() [2/2]

std::pair< function_sort_list, function_sort_list > mcrl2::data::type_check_context::find_matching_functions ( const std::string &  name,
std::size_t  arity 
) const
inline

Definition at line 1270 of file type_check_tree.h.

◆ find_matching_variables()

std::vector< sort_expression > mcrl2::data::type_check_context::find_matching_variables ( const std::string &  name) const
inline

Definition at line 1306 of file type_check_tree.h.

◆ remove_context_variable()

void mcrl2::data::type_check_context::remove_context_variable ( const variable &  v)
inline

Definition at line 145 of file type_check_tree.h.

◆ remove_context_variables()

void mcrl2::data::type_check_context::remove_context_variables ( const variable_list &  variables)
inline

Definition at line 158 of file type_check_tree.h.

◆ replace_untyped_sorts()

function_sort_list mcrl2::data::type_check_context::replace_untyped_sorts ( const function_sort_list &  sorts) const
inlineprotected

Definition at line 168 of file type_check_tree.h.

Member Data Documentation

◆ declared_variables

std::map<core::identifier_string, std::vector<sort_expression> > mcrl2::data::type_check_context::declared_variables

Definition at line 100 of file type_check_tree.h.

◆ sort_variable_index

std::size_t mcrl2::data::type_check_context::sort_variable_index
mutable

Definition at line 101 of file type_check_tree.h.

◆ system_constants

std::map<core::identifier_string, sort_expression_list> mcrl2::data::type_check_context::system_constants

Definition at line 96 of file type_check_tree.h.

◆ system_functions

std::map<core::identifier_string, function_sort_list> mcrl2::data::type_check_context::system_functions

Definition at line 97 of file type_check_tree.h.

◆ user_constants

std::map<core::identifier_string, sort_expression> mcrl2::data::type_check_context::user_constants

Definition at line 98 of file type_check_tree.h.

◆ user_functions

std::map<core::identifier_string, function_sort_list> mcrl2::data::type_check_context::user_functions

Definition at line 99 of file type_check_tree.h.

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