Static Public Member Functions
template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, ext::pair< unsigned, unsigned > >	construct (const tree::PrefixRankedTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard, const ext::set< common::ranked_symbol< SymbolType > > &nonlinearVariables)

template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, ext::pair< unsigned, unsigned > >	construct (const tree::PrefixRankedBarTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard, const ext::set< common::ranked_symbol< SymbolType > > &nonlinearVariables, const common::ranked_symbol< SymbolType > &variablesBar)

Member Function Documentation

◆ construct() [1/2]

template<class SymbolType >

automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, ext::pair< unsigned, unsigned > > arbology::exact::ExactNonlinearTreePatternAutomaton::construct	(	const tree::PrefixRankedBarTree< SymbolType > &	tree,
		const common::ranked_symbol< SymbolType > &	subtreeWildcard,
		const ext::set< common::ranked_symbol< SymbolType > > &	nonlinearVariables,
		const common::ranked_symbol< SymbolType > &	variablesBar
	)

static

Performs conversion.

template<class SymbolType >

automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, ext::pair< unsigned, unsigned > > arbology::exact::ExactNonlinearTreePatternAutomaton::construct	(	const tree::PrefixRankedTree< SymbolType > &	tree,
		const common::ranked_symbol< SymbolType > &	subtreeWildcard,
		const ext::set< common::ranked_symbol< SymbolType > > &	nonlinearVariables
	)

static

Performs conversion.

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