mcrl2::lts::transition Class Reference

A class containing triples, source label and target representing transitions. More...

#include <transition.h>

Public Types
typedef std::size_t	size_type
	The type of the elements in a transition.

Public Member Functions
	transition ()=delete
	transition (const std::size_t f, const std::size_t l, const std::size_t t)
	Constructor (there is no default constructor).
	transition (const transition &t)=default
	Copy constructor.
	transition (transition &&t)=default
	Move constructor.
transition &	operator= (const transition &t)=default
	Assignment.
transition &	operator= (transition &&t)=default
	Move assignment.
size_type	from () const
	The source of the transition.
size_type	label () const
	The label of the transition.
size_type	to () const
	The target of the transition.
void	set_from (const size_type from)
	Set the source of the transition.
void	set_label (const size_type label)
	Set the label of the transition.
void	set_to (const size_type to)
	Set the target of the transition.
bool	operator== (const transition &t) const
	Standard equality on transitions.
bool	operator!= (const transition &t) const
	Standard inequality on transitions.
bool	operator< (const transition &t) const
	Standard lexicographic ordering on transitions.

Private Attributes
size_type	m_from
size_type	m_label
size_type	m_to

Detailed Description

A class containing triples, source label and target representing transitions.

A transition consists of three indices, indicated by transition::size_type that refer to a source, label and target.

Definition at line 46 of file transition.h.

Member Typedef Documentation

size_type

typedef std::size_t mcrl2::lts::transition::size_type

The type of the elements in a transition.

Definition at line 50 of file transition.h.

Constructor & Destructor Documentation

transition() [1/4]

mcrl2::lts::transition::transition ( )

delete

transition() [2/4]

mcrl2::lts::transition::transition ( const std::size_t  f, const std::size_t  l, const std::size_t  t  )

inline

Constructor (there is no default constructor).

Definition at line 62 of file transition.h.

transition() [3/4]

mcrl2::lts::transition::transition ( const transition &  t )

default

Copy constructor.

transition() [4/4]

mcrl2::lts::transition::transition ( transition &&  t )

default

Move constructor.

Member Function Documentation

from()

size_type mcrl2::lts::transition::from ( ) const

inline

The source of the transition.

Definition at line 81 of file transition.h.

label()

size_type mcrl2::lts::transition::label ( ) const

inline

The label of the transition.

Definition at line 87 of file transition.h.

operator!=()

bool mcrl2::lts::transition::operator!= ( const transition &  t ) const

inline

Standard inequality on transitions.

Definition at line 129 of file transition.h.

operator<()

bool mcrl2::lts::transition::operator< ( const transition &  t ) const

inline

Standard lexicographic ordering on transitions.

The ordering is lexicographic from left to right. First t.from are compared, then the label, and if these do not determine the ordering, to is investigated.

Definition at line 138 of file transition.h.

operator=() [1/2]

transition & mcrl2::lts::transition::operator= ( const transition &  t )

default

Assignment.

operator=() [2/2]

transition & mcrl2::lts::transition::operator= ( transition &&  t )

default

Move assignment.

operator==()

bool mcrl2::lts::transition::operator== ( const transition &  t ) const

inline

Standard equality on transitions.

Definition at line 122 of file transition.h.

set_from()

void mcrl2::lts::transition::set_from ( const size_type  from )

inline

Set the source of the transition.

Definition at line 101 of file transition.h.

set_label()

void mcrl2::lts::transition::set_label ( const size_type  label )

inline

Set the label of the transition.

Definition at line 108 of file transition.h.

set_to()

void mcrl2::lts::transition::set_to ( const size_type  to )

inline

Set the target of the transition.

Definition at line 115 of file transition.h.

to()

size_type mcrl2::lts::transition::to ( ) const

inline

The target of the transition.

Definition at line 94 of file transition.h.

Member Data Documentation

m_from

size_type mcrl2::lts::transition::m_from

private

Definition at line 53 of file transition.h.

m_label

size_type mcrl2::lts::transition::m_label

private

Definition at line 54 of file transition.h.

m_to

size_type mcrl2::lts::transition::m_to

private

Definition at line 55 of file transition.h.

---

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

• lts/include/mcrl2/lts/transition.h