Awali
Another Weighted Automata library
Public Member Functions
awali::sttc::history_base Class Referenceabstract

base type for history of automata More...

#include <history.hh>

Inheritance diagram for awali::sttc::history_base:
awali::sttc::no_history awali::sttc::partition_history< Autb > awali::sttc::ratexp_history< RatExpSet > awali::sttc::single_history< Autb > awali::sttc::string_history awali::sttc::tuple_history< Auts >

Public Member Functions

virtual ~history_base ()
 
template<typename H >
H & as ()
 
template<typename H >
H & as () const
 
virtual history_kind_t get_nature () const =0
 
virtual state_t get_state (state_t s)=0
 
virtual std::vector< state_tget_state_set (state_t s)=0
 
virtual bool has_history () const
 
virtual bool has_history (state_t) const =0
 
virtual std::ostream & print_state_name (state_t s, std::ostream &o, const std::string &fmt="text") const =0
 
virtual bool remove_history (state_t)=0
 

Detailed Description

base type for history of automata

Every automaton is connected with two history objects:

Constructor & Destructor Documentation

◆ ~history_base()

virtual awali::sttc::history_base::~history_base ( )
virtual

Member Function Documentation

◆ as() [1/2]

template<typename H >
H& awali::sttc::history_base::as ( )

◆ as() [2/2]

template<typename H >
H& awali::sttc::history_base::as ( ) const

◆ get_nature()

virtual history_kind_t awali::sttc::history_base::get_nature ( ) const
pure virtual

◆ get_state()

virtual state_t awali::sttc::history_base::get_state ( state_t  s)
pure virtual

◆ get_state_set()

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

◆ has_history() [1/2]

virtual bool awali::sttc::history_base::has_history ( ) const
virtual

Reimplemented in awali::sttc::no_history.

◆ has_history() [2/2]

virtual bool awali::sttc::history_base::has_history ( state_t  ) const
pure virtual

◆ print_state_name()

virtual std::ostream& awali::sttc::history_base::print_state_name ( state_t  s,
std::ostream &  o,
const std::string &  fmt = "text" 
) const
pure virtual

◆ remove_history()

virtual bool awali::sttc::history_base::remove_history ( state_t  )
pure virtual

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