base type for history of automata
Definition: history.hh:40
specialisation of history_base
Definition: no_history.hh:28
bool has_history()
Definition: no_history.hh:51
std::ostream & print_state_name(state_t s, std::ostream &o, const std::string &fmt) const
Definition: no_history.hh:32
bool has_history(state_t s) const
Definition: no_history.hh:42
history_kind_t get_nature() const
Definition: no_history.hh:38
bool remove_history(state_t s)
Definition: no_history.hh:46
std::vector< state_t > get_state_set(state_t s)
Definition: no_history.hh:59
state_t get_state(state_t s)
Definition: no_history.hh:55