#include <string_history.hh>
◆ string_history()
awali::sttc::string_history::string_history |
( |
| ) |
|
◆ 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()
◆ get_state()
◆ 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: