automaton::simplify::ToArcFactored Class Reference

#include <ToArcFactored.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static ArcFactoredNondeterministicZAutomaton< SymbolType, ext::vector< ext::variant< SymbolType, StateType > > >	convert (const NondeterministicZAutomaton< SymbolType, StateType > &automaton)

Detailed Description

Based on Z-Automata for comapct and direct representation of Unranked tree languages

Member Function Documentation

convert()

template<class SymbolType , class StateType >

ArcFactoredNondeterministicZAutomaton< SymbolType, ext::vector< ext::variant< SymbolType, StateType > > > automaton::simplify::ToArcFactored::convert ( const NondeterministicZAutomaton< SymbolType, StateType > &  automaton )

static

Here is the call graph for this function:

---

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

• alib2algo/src/automaton/simplify/ToArcFactored.h