Awali
Another Weighted Automata library
Public Member Functions
awali::sttc::single_history< Autb > Class Template Reference

specialisation of history_base More...

#include <single_history.hh>

Inheritance diagram for awali::sttc::single_history< Autb >:
awali::sttc::history_base

Public Member Functions

 single_history (const Autb &source)
 
void add_state (state_t s, const state_t &sb)
 set the history of state s More...
 
history_kind_t get_nature () const
 
state_t get_state (state_t s)
 
std::vector< state_tget_state_set (state_t s)
 unsupported method : use get_state More...
 
bool has_history (state_t s) const
 
const std::map< state_t, state_t > & origins () const
 map between states and states of the source automaton More...
 
std::ostream & print_state_name (state_t s, std::ostream &o, const std::string &fmt) const
 
bool remove_history (state_t s)
 
const history_basesource_history ()
 
- Public Member Functions inherited from awali::sttc::history_base
virtual ~history_base ()
 
template<typename H >
H & as ()
 
template<typename H >
H & as () const
 
virtual bool has_history ()
 

Detailed Description

template<typename Autb>
class awali::sttc::single_history< Autb >

specialisation of history_base

Template Parameters
Autbthe type of the source automaton

This type is used to specify that a state of the automaton correspond a state of the source automaton.

This type of history is filled in copy, in conversion functions an in functions that call copy before applying an in-place algorithm.

Constructor & Destructor Documentation

◆ single_history()

template<typename Autb >
awali::sttc::single_history< Autb >::single_history ( const Autb &  source)

Member Function Documentation

◆ add_state()

template<typename Autb >
void awali::sttc::single_history< Autb >::add_state ( state_t  s,
const state_t sb 
)

set the history of state s

◆ get_nature()

template<typename Autb >
history_kind_t awali::sttc::single_history< Autb >::get_nature ( ) const
virtual

◆ get_state()

template<typename Autb >
state_t awali::sttc::single_history< Autb >::get_state ( state_t  s)
virtual

◆ get_state_set()

template<typename Autb >
std::vector<state_t> awali::sttc::single_history< Autb >::get_state_set ( state_t  s)
virtual

unsupported method : use get_state

Exceptions
runtime_error

Implements awali::sttc::history_base.

◆ has_history()

template<typename Autb >
bool awali::sttc::single_history< Autb >::has_history ( state_t  s) const
virtual

◆ origins()

template<typename Autb >
const std::map<state_t, state_t>& awali::sttc::single_history< Autb >::origins ( ) const

map between states and states of the source automaton

◆ print_state_name()

template<typename Autb >
std::ostream& awali::sttc::single_history< Autb >::print_state_name ( state_t  s,
std::ostream &  o,
const std::string &  fmt 
) const
virtual

◆ remove_history()

template<typename Autb >
bool awali::sttc::single_history< Autb >::remove_history ( state_t  s)
virtual

◆ source_history()

template<typename Autb >
const history_base& awali::sttc::single_history< Autb >::source_history ( )

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