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