mcrl2::lps::deadlock_summand

Include file:

#include "mcrl2/lps/deadlock_summand.h

class mcrl2::lps::deadlock_summand

LPS summand containing a deadlock.

Protected types

type mcrl2::lps::deadlock_summand::super

typedef for summand_base

The super class.

Protected attributes

lps::deadlock mcrl2::lps::deadlock_summand::m_deadlock

The deadlock of the summand.

Public member functions

lps::deadlock &deadlock()

Returns the deadlock of this summand.

const lps::deadlock &deadlock() const

Returns the deadlock of this summand.

deadlock_summand()

Constructor.

deadlock_summand(const data::variable_list &summation_variables, const data::data_expression &condition, const lps::deadlock &delta)

Constructor.

deadlock_summand(const deadlock_summand&) noexcept = default

Move semantics.

deadlock_summand(deadlock_summand&&) noexcept = default

bool has_time() const

Returns true if time is available.

Returns: True if time is available.

deadlock_summand &operator=(const deadlock_summand&) noexcept = default

deadlock_summand &operator=(deadlock_summand&&) noexcept = default

void swap(deadlock_summand &other)

Swaps the contents.