mCRL2
Loading...
Searching...
No Matches
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.
 
transitionoperator= (const transition &t)=default
 Assignment.
 
transitionoperator= (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 42 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 46 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 58 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 77 of file transition.h.

◆ label()

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

The label of the transition.

Definition at line 83 of file transition.h.

◆ operator!=()

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

Standard inequality on transitions.

Definition at line 125 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 134 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 118 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 97 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 104 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 111 of file transition.h.

◆ to()

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

The target of the transition.

Definition at line 90 of file transition.h.

Member Data Documentation

◆ m_from

size_type mcrl2::lts::transition::m_from
private

Definition at line 49 of file transition.h.

◆ m_label

size_type mcrl2::lts::transition::m_label
private

Definition at line 50 of file transition.h.

◆ m_to

size_type mcrl2::lts::transition::m_to
private

Definition at line 51 of file transition.h.


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