mcrl2::lps::deadlock_summand
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/deadlock_summand.h

.. cpp:class:: mcrl2::lps::deadlock_summand

  LPS summand containing a deadlock. 

  

Protected types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::lps::deadlock_summand::super

  typedef for :cpp:type:`summand_base`
  
  The super class. 

  

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

.. cpp:member:: lps::deadlock mcrl2::lps::deadlock_summand::m_deadlock
  
  The deadlock of the summand. 

  

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

.. cpp:function:: lps::deadlock& deadlock()
  
  Returns the deadlock of this summand. 

  

.. cpp:function:: const lps::deadlock& deadlock() const
  
  Returns the deadlock of this summand. 

  

.. cpp:function:: deadlock_summand()
  
  Constructor. 

  

.. cpp:function:: deadlock_summand(const data::variable_list &summation_variables, const data::data_expression &condition, const lps::deadlock &delta)
  
  Constructor. 

  

.. cpp:function:: deadlock_summand(const deadlock_summand &) noexcept=default
  
  Move semantics. 

  

.. cpp:function:: deadlock_summand(deadlock_summand &&) noexcept=default
  
  

  

.. cpp:function:: bool has_time() const
  
  Returns true if time is available. 

  
      
  **Returns:** True if time is available. 

.. cpp:function:: deadlock_summand& operator=(const deadlock_summand &) noexcept=default
  
  

  

.. cpp:function:: deadlock_summand& operator=(deadlock_summand &&) noexcept=default
  
  

  

.. cpp:function:: void swap(deadlock_summand &other)
  
  Swaps the contents.