mcrl2::lps::next_state_generator::summand_subset_t
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/next_state_generator.h

.. cpp:class:: mcrl2::lps::next_state_generator::summand_subset_t

  

  

Friends
-------------------------------------------------------------------------------

friend class :cpp:type:`mcrl2::lps::next_state_generator::summand_subset_t::next_state_generator`
  
  

  

friend class :cpp:type:`mcrl2::lps::next_state_generator::summand_subset_t::next_state_generator::iterator`
  
  

  

Private attributes
-------------------------------------------------------------------------------

.. cpp:member:: next_state_generator * mcrl2::lps::next_state_generator::summand_subset_t::m_generator
  
  

  

.. cpp:member:: std::vector< std::size_t > mcrl2::lps::next_state_generator::summand_subset_t::m_pruning_parameters
  
  

  

.. cpp:member:: substitution_t mcrl2::lps::next_state_generator::summand_subset_t::m_pruning_substitution
  
  

  

.. cpp:member:: pruning_tree_node_t mcrl2::lps::next_state_generator::summand_subset_t::m_pruning_tree
  
  

  

.. cpp:member:: std::vector< std::size_t > mcrl2::lps::next_state_generator::summand_subset_t::m_summands
  
  

  

.. cpp:member:: bool mcrl2::lps::next_state_generator::summand_subset_t::m_use_summand_pruning
  
  

  

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

.. cpp:function:: summand_subset_t()
  
  Trivial constructor. Constructs an invalid command subset. 

  

.. cpp:function:: summand_subset_t(next_state_generator *generator, bool use_summand_pruning)
  
  Constructs the full summand subset for the given generator. 

  

.. cpp:function:: summand_subset_t(next_state_generator *generator, const stochastic_action_summand_vector &summands, bool use_summand_pruning)
  
  Constructs the summand subset containing the given commands. 

  

Private static member functions
-------------------------------------------------------------------------------

.. cpp:function:: bool summand_set_contains(const std::set< stochastic_action_summand > &summand_set, const summand_t &summand)
  
  

  

Private member functions
-------------------------------------------------------------------------------

.. cpp:function:: atermpp::detail::shared_subset< next_state_generator::summand_t >::iterator begin(const lps::state &state)
  
  

  

.. cpp:function:: void build_pruning_parameters(const stochastic_action_summand_vector &summands)
  
  

  

.. cpp:function:: bool is_not_false(const summand_t &summand)