mcrl2::lps::deadlock Class Reference

Represents a deadlock. More...

#include <deadlock.h>

Public Member Functions
	deadlock (data::data_expression time=data::undefined_real())
	Constructor.
bool	has_time () const
	Returns true if time is available.
const data::data_expression &	time () const
	Returns the time.
data::data_expression &	time ()
	Returns the time.
std::string	to_string () const
	Returns a string representation of the deadlock.
bool	operator== (const deadlock &other) const
	Comparison operator.
bool	operator!= (const deadlock &other) const
	Comparison operator.
void	swap (deadlock &other)
	Swaps the contents.

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

Friends
class	deadlock_summand

Detailed Description

Represents a deadlock.

A deadlock is 'delta' with an optional time tag.

Definition at line 25 of file deadlock.h.

Constructor & Destructor Documentation

deadlock()

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

inline

Constructor.

Definition at line 36 of file deadlock.h.

Member Function Documentation

has_time()

bool mcrl2::lps::deadlock::has_time ( ) const

inline

Returns true if time is available.

Returns

True if time is available.

Definition at line 42 of file deadlock.h.

operator!=()

bool mcrl2::lps::deadlock::operator!= ( const deadlock &  other ) const

inline

Comparison operator.

Definition at line 74 of file deadlock.h.

operator==()

bool mcrl2::lps::deadlock::operator== ( const deadlock &  other ) const

inline

Comparison operator.

Definition at line 68 of file deadlock.h.

swap()

void mcrl2::lps::deadlock::swap ( deadlock &  other )

inline

Swaps the contents.

Definition at line 80 of file deadlock.h.

time() [1/2]

data::data_expression & mcrl2::lps::deadlock::time ( )

inline

Returns the time.

Returns

The time.

Definition at line 56 of file deadlock.h.

time() [2/2]

const data::data_expression & mcrl2::lps::deadlock::time ( ) const

inline

Returns the time.

Returns

The time.

Definition at line 49 of file deadlock.h.

to_string()

std::string mcrl2::lps::deadlock::to_string ( ) const

inline

Returns a string representation of the deadlock.

Definition at line 62 of file deadlock.h.

Friends And Related Symbol Documentation

deadlock_summand

friend class deadlock_summand

friend

Definition at line 27 of file deadlock.h.

Member Data Documentation

m_time

data::data_expression mcrl2::lps::deadlock::m_time

protected

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

Definition at line 32 of file deadlock.h.

---

The documentation for this class was generated from the following file:

• lps/include/mcrl2/lps/deadlock.h