Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
tree::TreeFromStringParserCommon Class Reference

#include <TreeFromStringParserCommon.h>

Static Public Member Functions

template<class SymbolType >
static ext::tree< common::ranked_symbol< SymbolType > > parseRankedContent (ext::istream &input, bool &isPattern, ext::set< common::ranked_symbol< SymbolType > > &nonlinearVariables, ext::set< common::ranked_symbol< SymbolType > > &nodeWildcards)
 
template<class SymbolType >
static ext::tree< SymbolType > parseUnrankedContent (ext::istream &input, bool &isPattern, bool &isExtendedPattern, ext::set< SymbolType > &nonlinearVariables)
 

Member Function Documentation

◆ parseRankedContent()

template<class SymbolType >
ext::tree< common::ranked_symbol< SymbolType > > tree::TreeFromStringParserCommon::parseRankedContent ( ext::istream input,
bool &  isPattern,
ext::set< common::ranked_symbol< SymbolType > > &  nonlinearVariables,
ext::set< common::ranked_symbol< SymbolType > > &  nodeWildcards 
)
static
Here is the call graph for this function:

◆ parseUnrankedContent()

template<class SymbolType >
ext::tree< SymbolType > tree::TreeFromStringParserCommon::parseUnrankedContent ( ext::istream input,
bool &  isPattern,
bool &  isExtendedPattern,
ext::set< SymbolType > &  nonlinearVariables 
)
static
Here is the call graph for this function:

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