mcrl2::lps::detail::ultimate_delay Class Reference

#include <ultimate_delay.h>

Public Member Functions
	ultimate_delay ()
	Constructor.
	ultimate_delay (const variable &t)
	Constructor.
	ultimate_delay (const variable &t, const variable_list &vl, const data_expression &d)
	Constructor.
const variable_list &	variables () const
	Obtain the variables.
variable_list &	variables ()
	Reference to the variables.
const data_expression &	constraint () const
	Obtain the constraint in the ultimate delay.
data_expression &	constraint ()
	Obtain a reference to the constraint.
const variable &	time_var () const
	Obtain the constraint in the ultimate delay.
variable &	time_var ()
	Obtain a reference to the time variable in the ultimate delay.

Protected Attributes
variable	m_time
variable_list	m_vl
data_expression	m_data

Detailed Description

Definition at line 32 of file ultimate_delay.h.

Constructor & Destructor Documentation

ultimate_delay() [1/3]

mcrl2::lps::detail::ultimate_delay::ultimate_delay ( )

inline

Constructor.

Definition at line 41 of file ultimate_delay.h.

ultimate_delay() [2/3]

mcrl2::lps::detail::ultimate_delay::ultimate_delay ( const variable &  t )

inline

Constructor.

Definition at line 47 of file ultimate_delay.h.

ultimate_delay() [3/3]

mcrl2::lps::detail::ultimate_delay::ultimate_delay ( const variable &  t, const variable_list &  vl, const data_expression &  d  )

inline

Constructor.

Definition at line 54 of file ultimate_delay.h.

Member Function Documentation

constraint() [1/2]

data_expression & mcrl2::lps::detail::ultimate_delay::constraint ( )

inline

Obtain a reference to the constraint.

Definition at line 80 of file ultimate_delay.h.

constraint() [2/2]

const data_expression & mcrl2::lps::detail::ultimate_delay::constraint ( ) const

inline

Obtain the constraint in the ultimate delay.

Definition at line 74 of file ultimate_delay.h.

time_var() [1/2]

variable & mcrl2::lps::detail::ultimate_delay::time_var ( )

inline

Obtain a reference to the time variable in the ultimate delay.

Definition at line 92 of file ultimate_delay.h.

time_var() [2/2]

const variable & mcrl2::lps::detail::ultimate_delay::time_var ( ) const

inline

Obtain the constraint in the ultimate delay.

Definition at line 86 of file ultimate_delay.h.

variables() [1/2]

variable_list & mcrl2::lps::detail::ultimate_delay::variables ( )

inline

Reference to the variables.

Definition at line 68 of file ultimate_delay.h.

variables() [2/2]

const variable_list & mcrl2::lps::detail::ultimate_delay::variables ( ) const

inline

Obtain the variables.

Definition at line 62 of file ultimate_delay.h.

Member Data Documentation

m_data

data_expression mcrl2::lps::detail::ultimate_delay::m_data

protected

Definition at line 37 of file ultimate_delay.h.

m_time

variable mcrl2::lps::detail::ultimate_delay::m_time

protected

Definition at line 35 of file ultimate_delay.h.

m_vl

variable_list mcrl2::lps::detail::ultimate_delay::m_vl

protected

Definition at line 36 of file ultimate_delay.h.

---

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

• lps/include/mcrl2/lps/detail/ultimate_delay.h