Limi::internal::meta_automaton< InnerImplementationB, Independence > Class Template Reference

This automaton presents an automaton up to an independence relation. More...

#include <meta_automaton.h>

Inheritance diagram for Limi::internal::meta_automaton< InnerImplementationB, Independence >:

Collaboration diagram for Limi::internal::meta_automaton< InnerImplementationB, Independence >:

Detailed Description

template<class InnerImplementationB, class Independence = independence<typename InnerImplementationB::Symbol_>>
class Limi::internal::meta_automaton< InnerImplementationB, Independence >

This automaton presents an automaton up to an independence relation.

This automaton consists of states that stack symbols not yet matched. The details of the algorithm are outlined in the paper.

---

The documentation for this class was generated from the following file:

• Limi/internal/meta_automaton.h