Awali
Another Weighted Automata library
Public Member Functions
awali::sttc::no_history Class Reference

specialisation of history_base More...

#include <no_history.hh>

Inheritance diagram for awali::sttc::no_history:
awali::sttc::history_base

Public Member Functions

history_kind_t get_nature () const
 
state_t get_state (state_t s)
 
std::vector< state_tget_state_set (state_t s)
 
bool has_history ()
 
bool has_history (state_t s) const
 
std::ostream & print_state_name (state_t s, std::ostream &o, const std::string &fmt) const
 
bool remove_history (state_t s)
 
- Public Member Functions inherited from awali::sttc::history_base
virtual ~history_base ()
 
template<typename H >
H & as ()
 
template<typename H >
H & as () const
 

Detailed Description

specialisation of history_base

This type is used to specify that the automaton has no history.

Member Function Documentation

◆ get_nature()

history_kind_t awali::sttc::no_history::get_nature ( ) const
virtual

◆ get_state()

state_t awali::sttc::no_history::get_state ( state_t  s)
virtual

◆ get_state_set()

std::vector<state_t> awali::sttc::no_history::get_state_set ( state_t  s)
virtual

◆ has_history() [1/2]

bool awali::sttc::no_history::has_history ( )
virtual

Reimplemented from awali::sttc::history_base.

◆ has_history() [2/2]

bool awali::sttc::no_history::has_history ( state_t  s) const
virtual

◆ print_state_name()

std::ostream& awali::sttc::no_history::print_state_name ( state_t  s,
std::ostream &  o,
const std::string &  fmt 
) const
virtual

◆ remove_history()

bool awali::sttc::no_history::remove_history ( state_t  s)
virtual

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