Include file:

#include "mcrl2/lps/deadlock.h
class mcrl2::lps::deadlock

Represents a deadlock.

A deadlock is ‘delta’ with an optional time tag.


friend class deadlock_summand

Protected attributes

data::data_expression m_time

The time of the deadlock. If m_time == data::undefined_real() the multi action has no time.

Public member functions

deadlock(data::data_expression time = data::undefined_real())


bool has_time() const

Returns true if time is available.

Returns: True if time is available.

bool operator!=(const deadlock &other) const

Comparison operator.

bool operator==(const deadlock &other) const

Comparison operator.

void swap(deadlock &other)

Swaps the contents.

const data::data_expression &time() const

Returns the time.

Returns: The time.

data::data_expression &time()

Returns the time.

Returns: The time.

std::string to_string() const

Returns a string representation of the deadlock.