initial_derivation.hh File Reference

This file contains the declaration for the initial derivation visitor, used for smart_derivative_automaton. More...

Include dependency graph for initial_derivation.hh:

This graph shows which files directly or indirectly include this file:

---

Detailed Description

This file contains the declaration for the initial derivation visitor, used for smart_derivative_automaton.

---