std::string caret(std::istream &is, const rat::location &loc)
Repeat a line with an error, underlining the error with carets.
vcsn::rat::location location
Pairs of positions in a file/stream.
void print_caret(std::istream &is, std::ostream &os, const rat::location &loc)
Repeat a line with an error, underlining the error with carets.
auto in(const Aut &aut, state_t_of< Aut > s)
Indexes of visible transitions arriving to state s.
auto out(const Aut &aut, state_t_of< Aut > s)
Indexes of visible transitions leaving state s.