mcrl2::lps::suminst_algorithm
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/suminst.h

.. cpp:class:: mcrl2::lps::suminst_algorithm

  

  

Private types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::lps::suminst_algorithm::action_summand_type

  typedef for :cpp:type:`process_type::action_summand_type`
  
  

  

.. cpp:type:: mcrl2::lps::suminst_algorithm::action_summand_vector_type

  typedef for :cpp:type:`std::vector\< action_summand_type >`
  
  

  

.. cpp:type:: mcrl2::lps::suminst_algorithm::enumerator_element

  typedef for :cpp:type:`data::enumerator_list_element_with_substitution`
  
  

  

.. cpp:type:: mcrl2::lps::suminst_algorithm::process_type

  typedef for :cpp:type:`Specification::process_type`
  
  

  

.. cpp:type:: mcrl2::lps::suminst_algorithm::super

  typedef for :cpp:type:`detail::lps_algorithm\< Specification >`
  
  

  

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

.. cpp:member:: std::size_t mcrl2::lps::suminst_algorithm::m_added
  
  

  

.. cpp:member:: std::size_t mcrl2::lps::suminst_algorithm::m_deleted
  
  

  

.. cpp:member:: data::enumerator_algorithm mcrl2::lps::suminst_algorithm::m_enumerator
  
  

  

.. cpp:member:: data::enumerator_identifier_generator mcrl2::lps::suminst_algorithm::m_id_generator
  
  

  

.. cpp:member:: std::size_t mcrl2::lps::suminst_algorithm::m_processed
  
  Statistiscs for verbose output. 

  

.. cpp:member:: DataRewriter mcrl2::lps::suminst_algorithm::m_rewriter
  
  Rewriter. 

  

.. cpp:member:: std::set< data::sort_expression > mcrl2::lps::suminst_algorithm::m_sorts
  
  Sorts to be instantiated. 

  

.. cpp:member:: bool mcrl2::lps::suminst_algorithm::m_tau_summands_only
  
  Only instantiate tau summands. 

  

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

.. cpp:function:: std::size_t instantiate_summand(const SummandType &s, Container &result)
  
  

  

.. cpp:function:: bool must_instantiate(const action_summand_type &summand)
  
  

  

.. cpp:function:: bool must_instantiate(const deadlock_summand &)
  
  

  

.. cpp:function:: void run(const SummandListType &list, Container &result)
  
  

  

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

.. cpp:function:: void run()
  
  

  

.. cpp:function:: suminst_algorithm(Specification &spec, DataRewriter &r, std::set< data::sort_expression > sorts=std::set< data::sort_expression >(), bool tau_summands_only=false)