Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#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) |
|
static |
|
static |