Awali
Another Weighted Automata library
Public Member Functions
awali::sttc::string_history Class Referencefinal

#include <string_history.hh>

Inheritance diagram for awali::sttc::string_history:
awali::sttc::history_base

Public Member Functions

 string_history ()
 
void add_state (state_t s, const std::string &str)
 
const std::string & get_desc () const
 
const std::string & get_name () const
 
history_kind_t get_nature () const override
 
state_t get_state (state_t) override
 
const std::string & get_state_name (state_t s) const
 
std::vector< state_tget_state_set (state_t) override
 
bool has_history (state_t s) const override
 
const origins_t & origins () const
 
std::ostream & print_state_name (state_t s, std::ostream &o, const std::string &) const override
 
bool remove_history (state_t s) override
 
void set_desc (const std::string &d)
 
void set_name (const std::string &n)
 
- 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 () const
 

Constructor & Destructor Documentation

◆ string_history()

awali::sttc::string_history::string_history ( )

Member Function Documentation

◆ add_state()

void awali::sttc::string_history::add_state ( state_t  s,
const std::string &  str 
)

◆ get_desc()

const std::string& awali::sttc::string_history::get_desc ( ) const

◆ get_name()

const std::string& awali::sttc::string_history::get_name ( ) const

◆ get_nature()

history_kind_t awali::sttc::string_history::get_nature ( ) const
overridevirtual

◆ get_state()

state_t awali::sttc::string_history::get_state ( state_t  )
overridevirtual

◆ get_state_name()

const std::string& awali::sttc::string_history::get_state_name ( state_t  s) const

◆ get_state_set()

std::vector<state_t> awali::sttc::string_history::get_state_set ( state_t  )
overridevirtual

◆ has_history()

bool awali::sttc::string_history::has_history ( state_t  s) const
overridevirtual

◆ origins()

const origins_t& awali::sttc::string_history::origins ( ) const

◆ print_state_name()

std::ostream& awali::sttc::string_history::print_state_name ( state_t  s,
std::ostream &  o,
const std::string &   
) const
overridevirtual

◆ remove_history()

bool awali::sttc::string_history::remove_history ( state_t  s)
overridevirtual

◆ set_desc()

void awali::sttc::string_history::set_desc ( const std::string &  d)

◆ set_name()

void awali::sttc::string_history::set_name ( const std::string &  n)

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