Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions
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_tall_in (state_t s) const
 Indexes of all transitions arriving to state s. More...
 
const tr_cont_tall_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_tcontext () 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_ptrlabelset () 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_imploperator= (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_ptrweightset () 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

◆ 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

◆ 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

◆ transitions_s_output_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

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: