base type for history of automata
Definition: history.hh:40
specialisation of history_base
Definition: single_history.hh:50
const history_base & source_history()
Definition: single_history.hh:61
history_kind_t get_nature() const
Definition: single_history.hh:53
single_history(const Autb &source)
Definition: single_history.hh:58
std::ostream & print_state_name(state_t s, std::ostream &o, const std::string &fmt) const
Definition: single_history.hh:66