mcrl2::lts::detail::bisimulation_gj Namespace Reference

Classes
struct	BLC_indicators
struct	block_type
	information about a block More...
struct	constellation_type
	information about a constellation More...
struct	global_linked_list_administration
struct	linked_list
struct	linked_list_const_iterator
struct	linked_list_iterator
struct	linked_list_node
	Private linked list that uses less memory. More...
struct	outgoing_transition_type
	information about a transition stored in m_outgoing_transitions More...
struct	state_in_block_pointer
	a pointer to a state, i.e. a reference to a state More...
struct	state_type_gj
	information about a state More...
class	todo_state_vector
struct	transition_type

Typedefs
typedef std::size_t	state_index
typedef std::size_t	transition_index
typedef std::size_t	block_index
typedef std::size_t	label_index
typedef std::size_t	constellation_index
typedef fixed_vector< outgoing_transition_type >::iterator	outgoing_transitions_it
typedef fixed_vector< outgoing_transition_type >::const_iterator	outgoing_transitions_const_it
typedef transition_index *	BLC_list_iterator
typedef transition_index *	BLC_list_iterator_or_null
typedef const transition_index *	BLC_list_const_iterator

Functions
template<class CONTAINER >
void	clear (CONTAINER &c)

Variables
constexpr constellation_index	null_constellation =-1
constexpr transition_index	null_transition =-1
constexpr label_index	null_action =-1
constexpr state_index	null_state =-1
constexpr block_index	null_block =-1
constexpr transition_index	undefined =-1
constexpr transition_index	Rmarked =-2

Typedef Documentation

BLC_list_const_iterator

typedef const transition_index* mcrl2::lts::detail::bisimulation_gj::BLC_list_const_iterator

Definition at line 721 of file liblts_bisim_gj.h.

BLC_list_iterator

typedef transition_index* mcrl2::lts::detail::bisimulation_gj::BLC_list_iterator

Definition at line 719 of file liblts_bisim_gj.h.

BLC_list_iterator_or_null

typedef transition_index* mcrl2::lts::detail::bisimulation_gj::BLC_list_iterator_or_null

Definition at line 720 of file liblts_bisim_gj.h.

block_index

typedef std::size_t mcrl2::lts::detail::bisimulation_gj::block_index

Definition at line 79 of file liblts_bisim_gj.h.

constellation_index

typedef std::size_t mcrl2::lts::detail::bisimulation_gj::constellation_index

Definition at line 83 of file liblts_bisim_gj.h.

label_index

typedef std::size_t mcrl2::lts::detail::bisimulation_gj::label_index

Definition at line 82 of file liblts_bisim_gj.h.

outgoing_transitions_const_it

typedef fixed_vector<outgoing_transition_type>::const_iterator mcrl2::lts::detail::bisimulation_gj::outgoing_transitions_const_it

Definition at line 87 of file liblts_bisim_gj.h.

outgoing_transitions_it

typedef fixed_vector<outgoing_transition_type>::iterator mcrl2::lts::detail::bisimulation_gj::outgoing_transitions_it

Definition at line 85 of file liblts_bisim_gj.h.

state_index

typedef std::size_t mcrl2::lts::detail::bisimulation_gj::state_index

Definition at line 77 of file liblts_bisim_gj.h.

transition_index

typedef std::size_t mcrl2::lts::detail::bisimulation_gj::transition_index

Definition at line 78 of file liblts_bisim_gj.h.

Function Documentation

clear()

template<class CONTAINER >

void mcrl2::lts::detail::bisimulation_gj::clear

(

CONTAINER &

c

)

The function clear() takes care that a container frees memory when it is cleared and it is large.

Definition at line 100 of file liblts_bisim_gj.h.

Variable Documentation

null_action

constexpr label_index mcrl2::lts::detail::bisimulation_gj::null_action =-1

constexpr

Definition at line 91 of file liblts_bisim_gj.h.

null_block

constexpr block_index mcrl2::lts::detail::bisimulation_gj::null_block =-1

constexpr

Definition at line 93 of file liblts_bisim_gj.h.

null_constellation

constexpr constellation_index mcrl2::lts::detail::bisimulation_gj::null_constellation =-1

constexpr

Definition at line 89 of file liblts_bisim_gj.h.

null_state

constexpr state_index mcrl2::lts::detail::bisimulation_gj::null_state =-1

constexpr

Definition at line 92 of file liblts_bisim_gj.h.

null_transition

constexpr transition_index mcrl2::lts::detail::bisimulation_gj::null_transition =-1

constexpr

Definition at line 90 of file liblts_bisim_gj.h.

Rmarked

constexpr transition_index mcrl2::lts::detail::bisimulation_gj::Rmarked =-2

constexpr

Definition at line 95 of file liblts_bisim_gj.h.

undefined

constexpr transition_index mcrl2::lts::detail::bisimulation_gj::undefined =-1

constexpr

Definition at line 94 of file liblts_bisim_gj.h.