mcrl2::pbes_system::pbes_type_checker
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/typecheck.h

.. cpp:class:: mcrl2::pbes_system::pbes_type_checker

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: data::data_type_checker mcrl2::pbes_system::pbes_type_checker::m_data_type_checker
  
  

  

.. cpp:member:: detail::pbes_context mcrl2::pbes_system::pbes_type_checker::m_pbes_context
  
  

  

.. cpp:member:: data::detail::variable_context mcrl2::pbes_system::pbes_type_checker::m_variable_context
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: std::vector<propositional_variable> equation_variables(const std::vector< pbes_equation > &equations)
  
  

  

.. cpp:function:: pbes_expression typecheck(const pbes_expression &x, const data::variable_list &parameters)
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: pbes_expression operator()(const pbes_expression &x)
  
  Type check a process expression. Throws a mcrl2::runtime_error exception if the expression is not well typed. 

  
  
  **Parameters:**

  * **x** A process expression that has not been type checked. 


      
  **Returns:** a process expression where all untyped identifiers have been replace by typed ones. 

.. cpp:function:: void operator()(pbes &pbesspec)
  
  Typecheck the pbes pbesspec. 

  

.. cpp:function:: pbes_type_checker(const data::data_specification &dataspec, const VariableContainer &global_variables, const PropositionalVariableContainer &propositional_variables)
  
  Constructor. 

  

.. cpp:function:: pbes_type_checker(const data::data_specification &dataspec=data::data_specification())
  
  Default constructor.