backward_realtime.hh File Reference

Algorithms to make an automaton realtime. More...

Namespaces
namespace	vcsn

---

Detailed Description

Algorithms to make an automaton realtime.

This file contains algorithms to build realtime automaton. These algorithms use the backward version of closure.

See also:

backward_realtime(), backward_realtime_here()

---