mcrl2::lts::transition Class Reference

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

#include <transition.h>

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

Public Member Functions
	transition ()
	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 45 of file transition.h.

Member Typedef Documentation

size_type

using mcrl2::lts::transition::size_type = std::size_t

The type of the elements in a transition.

Definition at line 49 of file transition.h.

Constructor & Destructor Documentation

transition() [1/4]

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

inline

Definition at line 58 of file transition.h.

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 65 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 87 of file transition.h.

label()

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

inline

The label of the transition.

Definition at line 93 of file transition.h.

operator!=()

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

inline

Standard inequality on transitions.

Definition at line 135 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 144 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 128 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 107 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 114 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 121 of file transition.h.

to()

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

inline

The target of the transition.

Definition at line 100 of file transition.h.

Member Data Documentation

m_from

size_type mcrl2::lts::transition::m_from

private

Definition at line 52 of file transition.h.

m_label

size_type mcrl2::lts::transition::m_label

private

Definition at line 53 of file transition.h.

m_to

size_type mcrl2::lts::transition::m_to

private

Definition at line 54 of file transition.h.

---

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

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