mcrl2::pbes_system::srf_pbes
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/srf_pbes.h

.. cpp:class:: mcrl2::pbes_system::srf_pbes

  

  

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

.. cpp:member:: data::data_specification mcrl2::pbes_system::srf_pbes::m_dataspec
  
  

  

.. cpp:member:: std::vector< srf_equation > mcrl2::pbes_system::srf_pbes::m_equations
  
  

  

.. cpp:member:: propositional_variable_instantiation mcrl2::pbes_system::srf_pbes::m_initial_state
  
  

  

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

.. cpp:function:: const data::data_specification& data() const
  
  

  

.. cpp:function:: data::data_specification& data()
  
  

  

.. cpp:function:: const std::vector<srf_equation>& equations() const
  
  

  

.. cpp:function:: std::vector<srf_equation>& equations()
  
  

  

.. cpp:function:: const propositional_variable_instantiation& initial_state() const
  
  

  

.. cpp:function:: propositional_variable_instantiation& initial_state()
  
  

  

.. cpp:function:: void make_total()
  
  

  

.. cpp:function:: srf_pbes()=default
  
  

  

.. cpp:function:: srf_pbes(const data::data_specification &dataspec, std::vector< srf_equation > equations, propositional_variable_instantiation initial_state)
  
  

  

.. cpp:function:: pbes to_pbes() const