tree::TreeAuxiliary Class Reference

#include <TreeAuxiliary.h>

Static Public Member Functions
template<class SymbolType >
static ext::tree< SymbolType >	sort (ext::tree< SymbolType > tree)
template<class SymbolType >
static ext::set< SymbolType >	unrankSymbols (const ext::set< common::ranked_symbol< SymbolType > > &alphabet)
template<class SymbolType >
static ext::set< common::ranked_symbol< SymbolType > >	computeBars (const ext::set< common::ranked_symbol< SymbolType > > &alphabet, const SymbolType &barBase)
template<class SymbolType >
static ext::tree< common::ranked_symbol< SymbolType > >	unrankedToRanked (const ext::tree< SymbolType > &tree)
template<class SymbolType >
static ext::tree< SymbolType >	rankedToUnranked (const ext::tree< common::ranked_symbol< SymbolType > > &tree)
template<class SymbolType >
static ext::tree< common::ranked_symbol< SymbolType > >	postfixToTree (const ext::vector< common::ranked_symbol< SymbolType > > &from)
template<class SymbolType >
static ext::tree< common::ranked_symbol< SymbolType > >	prefixToTree (const ext::vector< common::ranked_symbol< SymbolType > > &from)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	postfixToPrefix (const ext::vector< common::ranked_symbol< SymbolType > > &src)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	treeToPrefix (const ext::tree< common::ranked_symbol< SymbolType > > &tree)
template<class SymbolType >
static ext::vector< SymbolType >	treeToPrefix (const ext::tree< SymbolType > &tree, const SymbolType &bar)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	treeToPrefix (const ext::tree< common::ranked_symbol< SymbolType > > &tree, const SymbolType &barBase)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	treeToPrefix (const ext::tree< common::ranked_symbol< SymbolType > > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard, const SymbolType &barBase, const common::ranked_symbol< SymbolType > &variablesBar)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	treeToPrefix (const ext::tree< common::ranked_symbol< SymbolType > > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard, const ext::set< common::ranked_symbol< SymbolType > > &nonlinearVariables, const SymbolType &barBase, const common::ranked_symbol< SymbolType > &variablesBar)
template<class SymbolType >
static ext::vector< common::ranked_symbol< SymbolType > >	treeToPostfix (const ext::tree< common::ranked_symbol< SymbolType > > &tree)

Detailed Description

Parser used to get tree from XML parsed into list of Tokens.

Member Function Documentation

computeBars()

template<class SymbolType >

ext::set< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::computeBars ( const ext::set< common::ranked_symbol< SymbolType > > &  alphabet, const SymbolType &  barBase  )

static

postfixToPrefix()

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::postfixToPrefix ( const ext::vector< common::ranked_symbol< SymbolType > > &  src )

static

Here is the call graph for this function:

postfixToTree()

template<class SymbolType >

ext::tree< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::postfixToTree ( const ext::vector< common::ranked_symbol< SymbolType > > &  from )

static

Here is the call graph for this function:

prefixToTree()

template<class SymbolType >

ext::tree< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::prefixToTree ( const ext::vector< common::ranked_symbol< SymbolType > > &  from )

static

rankedToUnranked()

template<class SymbolType >

ext::tree< SymbolType > tree::TreeAuxiliary::rankedToUnranked ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree )

static

sort()

template<class SymbolType >

ext::tree< SymbolType > tree::TreeAuxiliary::sort ( ext::tree< SymbolType >  tree )

static

Here is the caller graph for this function:

treeToPostfix()

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::treeToPostfix ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree )

static

treeToPrefix() [1/5]

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::treeToPrefix ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree )

static

treeToPrefix() [2/5]

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::treeToPrefix ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree, const common::ranked_symbol< SymbolType > &  subtreeWildcard, const ext::set< common::ranked_symbol< SymbolType > > &  nonlinearVariables, const SymbolType &  barBase, const common::ranked_symbol< SymbolType > &  variablesBar  )

static

treeToPrefix() [3/5]

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::treeToPrefix ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree, const common::ranked_symbol< SymbolType > &  subtreeWildcard, const SymbolType &  barBase, const common::ranked_symbol< SymbolType > &  variablesBar  )

static

treeToPrefix() [4/5]

template<class SymbolType >

ext::vector< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::treeToPrefix ( const ext::tree< common::ranked_symbol< SymbolType > > &  tree, const SymbolType &  barBase  )

static

treeToPrefix() [5/5]

template<class SymbolType >

ext::vector< SymbolType > tree::TreeAuxiliary::treeToPrefix ( const ext::tree< SymbolType > &  tree, const SymbolType &  bar  )

static

unrankedToRanked()

template<class SymbolType >

ext::tree< common::ranked_symbol< SymbolType > > tree::TreeAuxiliary::unrankedToRanked ( const ext::tree< SymbolType > &  tree )

static

unrankSymbols()

template<class SymbolType >

ext::set< SymbolType > tree::TreeAuxiliary::unrankSymbols ( const ext::set< common::ranked_symbol< SymbolType > > &  alphabet )

static

Here is the call graph for this function:

---

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

• alib2data/src/tree/common/TreeAuxiliary.h