.. _is_sub_sort.h:
  
mcrl2/data/is_sub_sort.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/is_sub_sort.h"

add your file description here. 



Functions
-------------------------------------------------------------------------------

.. cpp:function:: bool mcrl2::data::is_sub_sort(const sort_expression &x1, const sort_expression &x2)
  
  

  

Functions
-------------------------------------------------------------------------------

.. cpp:function:: bool mcrl2::data::detail::is_numeric_sort(const sort_expression &x)
  
  

  

.. cpp:function:: std::size_t mcrl2::data::detail::numeric_sort_value(const sort_expression &x)