mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::lts::detail::action_index_pair Class Reference

A simple class storing the index of a label and an index. More...

#include <counter_example.h>

Public Member Functions

 action_index_pair (std::size_t label_index, std::size_t previous_entry_index)
 
std::size_t label_index () const
 
std::size_t previous_entry_index () const
 

Protected Attributes

std::size_t m_label_index
 
std::size_t m_previous_entry_index
 

Detailed Description

A simple class storing the index of a label and an index.

Definition at line 36 of file counter_example.h.

Constructor & Destructor Documentation

◆ action_index_pair()

mcrl2::lts::detail::action_index_pair::action_index_pair ( std::size_t  label_index,
std::size_t  previous_entry_index 
)
inline

Definition at line 43 of file counter_example.h.

Member Function Documentation

◆ label_index()

std::size_t mcrl2::lts::detail::action_index_pair::label_index ( ) const
inline

Definition at line 48 of file counter_example.h.

◆ previous_entry_index()

std::size_t mcrl2::lts::detail::action_index_pair::previous_entry_index ( ) const
inline

Definition at line 53 of file counter_example.h.

Member Data Documentation

◆ m_label_index

std::size_t mcrl2::lts::detail::action_index_pair::m_label_index
protected

Definition at line 39 of file counter_example.h.

◆ m_previous_entry_index

std::size_t mcrl2::lts::detail::action_index_pair::m_previous_entry_index
protected

Definition at line 40 of file counter_example.h.

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