awali::sttc::internal::transpose_view_impl< Aut > Class Template Reference

#include <transpose_view.hh>

Public Types
using	context_t = typename Aut::context_t
using	history_t = typename Aut::history_t
	History. More...
using	kind_t = typename context_t::kind_t
using	label_t = typename labelset_t::value_t
	Transition label. More...
using	labelset_ptr = typename context_t::labelset_ptr
using	labelset_t = labelset_t_of< context_t >
using	names_t = typename Aut::names_t
using	st_store_t = typename Aut::st_store_t
using	states_output_t = indice_filter< st_store_t >
using	tr_cont_t = typename Aut::tr_cont_t
using	tr_store_t = typename Aut::tr_store_t
using	transitions_output_t = indice_filter< tr_store_t >
using	transitions_s_output_t = cont_filter< tr_cont_t >
using	weight_t = typename weightset_t::value_t
	Transition weight. More...
using	weightset_ptr = typename context_t::weightset_ptr
using	weightset_t = weightset_t_of< context_t >

Public Member Functions
	transpose_view_impl ()=delete
	transpose_view_impl (const Aut &aut)
	transpose_view_impl (const transpose_view_impl &)=delete
	transpose_view_impl (transpose_view_impl &&that)=delete
const tr_cont_t &	all_in (state_t s) const
	Indexes of all transitions arriving to state s. More...
const tr_cont_t &	all_out (state_t s) const
	Indexes of all transitions leaving state s. More...
states_output_t	all_states () const
	All states including pre()/post(). More...
transitions_output_t	all_transitions () const
	All the transition indexes between all states (including pre and post). More...
const context_t &	context () const
state_t	dst_of (transition_t t) const
transitions_s_output_t	final_transitions () const
	Indexes of transitions from visible final states. More...
const std::string &	get_desc () const
weight_t	get_final_weight (state_t s) const
weight_t	get_initial_weight (state_t s) const
const std::string &	get_name () const
state_t	get_state_by_name (const std::string &name) const
std::string	get_state_name (state_t s) const
transition_t	get_transition (state_t src, state_t dst, label_t l) const
bool	has_explicit_name (state_t s) const
bool	has_history (state_t s) const
bool	has_state (state_t s) const
bool	has_transition (state_t src, state_t dst, label_t l) const
bool	has_transition (transition_t t) const
history_t	history () const
transitions_s_output_t	in (state_t s) const
	Indexes of visible transitions arriving to state s. More...
transitions_s_output_t	in (state_t s, const label_t &l) const
	Indexes of visible transitions arriving to state s on label l. More...
transitions_s_output_t	initial_transitions () const
	Indexes of transitions to visible initial states. More...
bool	is_final (state_t s) const
bool	is_initial (state_t s) const
label_t	label_of (transition_t t) const
const labelset_ptr &	labelset () const
state_t	max_state () const
size_t	num_all_states () const
size_t	num_finals () const
size_t	num_initials () const
size_t	num_states () const
size_t	num_transitions () const
transpose_view_impl &	operator= (transpose_view_impl &&that)=delete
transitions_s_output_t	out (state_t s) const
	Indexes of visible transitions leaving state s. More...
transitions_s_output_t	out (state_t s, const label_t &l) const
	Indexes of all transitions leaving state s on label l. More...
transitions_s_output_t	outin (state_t s, state_t d) const
	Indexes of visible transitions from state s to state d. More...
label_t	prepost_label () const
std::ostream &	print_state (state_t s, std::ostream &o) const
std::ostream &	print_state_history (state_t s, std::ostream &o, const std::string &fmt="text") const
std::ostream &	print_state_name (state_t s, std::ostream &o, const std::string &fmt="text") const
void	set_desc (const std::string &d)
void	set_name (const std::string &n)
state_t	src_of (transition_t t) const
states_output_t	states () const
	All states excluding pre()/post(). More...
transitions_output_t	transitions () const
	All the transition indexes between visible states. More...
std::string	vname (bool full=true) const
weight_t	weight_of (transition_t t) const
const weightset_ptr &	weightset () const

Static Public Member Functions
static constexpr state_t	post ()
static constexpr state_t	pre ()
static std::string	sname ()

Member Typedef Documentation

context_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::context_t = typename Aut::context_t

history_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::history_t = typename Aut::history_t

History.

kind_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::kind_t = typename context_t::kind_t

label_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::label_t = typename labelset_t::value_t

Transition label.

labelset_ptr

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::labelset_ptr = typename context_t::labelset_ptr

labelset_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::labelset_t = labelset_t_of<context_t>

names_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::names_t = typename Aut::names_t

st_store_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::st_store_t = typename Aut::st_store_t

states_output_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::states_output_t = indice_filter<st_store_t>

tr_cont_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::tr_cont_t = typename Aut::tr_cont_t

tr_store_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::tr_store_t = typename Aut::tr_store_t

transitions_output_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::transitions_output_t = indice_filter<tr_store_t>

transitions_s_output_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::transitions_s_output_t = cont_filter<tr_cont_t>

weight_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::weight_t = typename weightset_t::value_t

Transition weight.

weightset_ptr

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::weightset_ptr = typename context_t::weightset_ptr

weightset_t

template<typename Aut >

using awali::sttc::internal::transpose_view_impl< Aut >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

transpose_view_impl() [1/4]

template<typename Aut >

awali::sttc::internal::transpose_view_impl< Aut >::transpose_view_impl ( )

delete

transpose_view_impl() [2/4]

template<typename Aut >

awali::sttc::internal::transpose_view_impl< Aut >::transpose_view_impl ( const transpose_view_impl< Aut > &  )

delete

transpose_view_impl() [3/4]

template<typename Aut >

awali::sttc::internal::transpose_view_impl< Aut >::transpose_view_impl

(

const Aut &

aut

)

transpose_view_impl() [4/4]

template<typename Aut >

awali::sttc::internal::transpose_view_impl< Aut >::transpose_view_impl ( transpose_view_impl< Aut > &&  that )

delete

Member Function Documentation

all_in()

template<typename Aut >

const tr_cont_t& awali::sttc::internal::transpose_view_impl< Aut >::all_in

(

state_t

s

)

const

Indexes of all transitions arriving to state s.

Invalidated by del_transition() and del_state().

all_out()

template<typename Aut >

const tr_cont_t& awali::sttc::internal::transpose_view_impl< Aut >::all_out

(

state_t

s

)

const

Indexes of all transitions leaving state s.

Invalidated by del_transition() and del_state().

all_states()

template<typename Aut >

states_output_t awali::sttc::internal::transpose_view_impl< Aut >::all_states

(

)

const

All states including pre()/post().

Guaranteed in increasing order.

all_transitions()

template<typename Aut >

transitions_output_t awali::sttc::internal::transpose_view_impl< Aut >::all_transitions

(

)

const

All the transition indexes between all states (including pre and post).

context()

template<typename Aut >

const context_t& awali::sttc::internal::transpose_view_impl< Aut >::context

(

)

const

dst_of()

template<typename Aut >

state_t awali::sttc::internal::transpose_view_impl< Aut >::dst_of

(

transition_t

t

)

const

final_transitions()

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::final_transitions

(

)

const

Indexes of transitions from visible final states.

get_desc()

template<typename Aut >

const std::string& awali::sttc::internal::transpose_view_impl< Aut >::get_desc

(

)

const

get_final_weight()

template<typename Aut >

weight_t awali::sttc::internal::transpose_view_impl< Aut >::get_final_weight

(

state_t

s

)

const

get_initial_weight()

template<typename Aut >

weight_t awali::sttc::internal::transpose_view_impl< Aut >::get_initial_weight

(

state_t

s

)

const

get_name()

template<typename Aut >

const std::string& awali::sttc::internal::transpose_view_impl< Aut >::get_name

(

)

const

get_state_by_name()

template<typename Aut >

state_t awali::sttc::internal::transpose_view_impl< Aut >::get_state_by_name

(

const std::string &

name

)

const

get_state_name()

template<typename Aut >

std::string awali::sttc::internal::transpose_view_impl< Aut >::get_state_name

(

state_t

s

)

const

get_transition()

template<typename Aut >

transition_t awali::sttc::internal::transpose_view_impl< Aut >::get_transition	(	state_t	src,
		state_t	dst,
		label_t	l
	)		const

has_explicit_name()

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::has_explicit_name

(

state_t

s

)

const

has_history()

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::has_history

(

state_t

s

)

const

has_state()

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::has_state

(

state_t

s

)

const

has_transition() [1/2]

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::has_transition	(	state_t	src,
		state_t	dst,
		label_t	l
	)		const

has_transition() [2/2]

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::has_transition

(

transition_t

t

)

const

history()

template<typename Aut >

history_t awali::sttc::internal::transpose_view_impl< Aut >::history

(

)

const

in() [1/2]

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::in

(

state_t

s

)

const

Indexes of visible transitions arriving to state s.

Invalidated by del_transition() and del_state().

in() [2/2]

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::in	(	state_t	s,
		const label_t &	l
	)		const

Indexes of visible transitions arriving to state s on label l.

Invalidated by del_transition() and del_state().

initial_transitions()

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::initial_transitions

(

)

const

Indexes of transitions to visible initial states.

is_final()

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::is_final

(

state_t

s

)

const

is_initial()

template<typename Aut >

bool awali::sttc::internal::transpose_view_impl< Aut >::is_initial

(

state_t

s

)

const

label_of()

template<typename Aut >

label_t awali::sttc::internal::transpose_view_impl< Aut >::label_of

(

transition_t

t

)

const

labelset()

template<typename Aut >

const labelset_ptr& awali::sttc::internal::transpose_view_impl< Aut >::labelset

(

)

const

max_state()

template<typename Aut >

state_t awali::sttc::internal::transpose_view_impl< Aut >::max_state

(

)

const

num_all_states()

template<typename Aut >

size_t awali::sttc::internal::transpose_view_impl< Aut >::num_all_states

(

)

const

num_finals()

template<typename Aut >

size_t awali::sttc::internal::transpose_view_impl< Aut >::num_finals

(

)

const

num_initials()

template<typename Aut >

size_t awali::sttc::internal::transpose_view_impl< Aut >::num_initials

(

)

const

num_states()

template<typename Aut >

size_t awali::sttc::internal::transpose_view_impl< Aut >::num_states

(

)

const

num_transitions()

template<typename Aut >

size_t awali::sttc::internal::transpose_view_impl< Aut >::num_transitions

(

)

const

operator=()

template<typename Aut >

transpose_view_impl& awali::sttc::internal::transpose_view_impl< Aut >::operator= ( transpose_view_impl< Aut > &&  that )

delete

out() [1/2]

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::out

(

state_t

s

)

const

Indexes of visible transitions leaving state s.

Invalidated by del_transition() and del_state().

out() [2/2]

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::out	(	state_t	s,
		const label_t &	l
	)		const

Indexes of all transitions leaving state s on label l.

Invalidated by del_transition() and del_state().

outin()

template<typename Aut >

transitions_s_output_t awali::sttc::internal::transpose_view_impl< Aut >::outin	(	state_t	s,
		state_t	d
	)		const

Indexes of visible transitions from state s to state d.

Invalidated by del_transition() and del_state().

post()

template<typename Aut >

static constexpr state_t awali::sttc::internal::transpose_view_impl< Aut >::post ( )

staticconstexpr

pre()

template<typename Aut >

static constexpr state_t awali::sttc::internal::transpose_view_impl< Aut >::pre ( )

staticconstexpr

prepost_label()

template<typename Aut >

label_t awali::sttc::internal::transpose_view_impl< Aut >::prepost_label

(

)

const

print_state()

template<typename Aut >

std::ostream& awali::sttc::internal::transpose_view_impl< Aut >::print_state	(	state_t	s,
		std::ostream &	o
	)		const

print_state_history()

template<typename Aut >

std::ostream& awali::sttc::internal::transpose_view_impl< Aut >::print_state_history	(	state_t	s,
		std::ostream &	o,
		const std::string &	fmt = "text"
	)		const

print_state_name()

template<typename Aut >

std::ostream& awali::sttc::internal::transpose_view_impl< Aut >::print_state_name	(	state_t	s,
		std::ostream &	o,
		const std::string &	fmt = "text"
	)		const

set_desc()

template<typename Aut >

void awali::sttc::internal::transpose_view_impl< Aut >::set_desc

(

const std::string &

d

)

set_name()

template<typename Aut >

void awali::sttc::internal::transpose_view_impl< Aut >::set_name

(

const std::string &

n

)

sname()

template<typename Aut >

static std::string awali::sttc::internal::transpose_view_impl< Aut >::sname ( )

static

src_of()

template<typename Aut >

state_t awali::sttc::internal::transpose_view_impl< Aut >::src_of

(

transition_t

t

)

const

states()

template<typename Aut >

states_output_t awali::sttc::internal::transpose_view_impl< Aut >::states

(

)

const

All states excluding pre()/post().

Guaranteed in increasing order.

transitions()

template<typename Aut >

transitions_output_t awali::sttc::internal::transpose_view_impl< Aut >::transitions

(

)

const

All the transition indexes between visible states.

vname()

template<typename Aut >

std::string awali::sttc::internal::transpose_view_impl< Aut >::vname

(

bool

full = true

)

const

weight_of()

template<typename Aut >

weight_t awali::sttc::internal::transpose_view_impl< Aut >::weight_of

(

transition_t

t

)

const

weightset()

template<typename Aut >

const weightset_ptr& awali::sttc::internal::transpose_view_impl< Aut >::weightset

(

)

const

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/transpose_view.hh