Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
NonlinearVariableSymbol.h
Go to the documentation of this file.
1
6#pragma once
7
9#include <core/stringApi.hpp>
10
11namespace core {
12
13template < class SymbolType >
14struct stringApi < alphabet::NonlinearVariableSymbol < SymbolType > > {
16 static bool first ( ext::istream & input );
17 static void compose ( ext::ostream & output, const alphabet::NonlinearVariableSymbol < SymbolType > & symbol );
18};
19
20template < class SymbolType >
22 throw exception::CommonException("parsing NonlinearVariableSymbol from string not implemented");
23}
24
25template < class SymbolType >
27 return false;
28}
29
30template < class SymbolType >
32 output << "$";
34}
35
36} /* namespace core */
37
Represents the nonlinear variable symbol used in a nonlinear tree pattern.
Definition: NonlinearVariableSymbol.h:36
const SymbolType & getSymbol() const &
Definition: NonlinearVariableSymbol.h:103
Basic exception from which all other exceptions are derived.
Definition: CommonException.h:21
Definition: istream.h:32
Definition: ostream.h:14
Definition: BarSymbol.cpp:12
Definition: normalize.hpp:10
Definition: stringApi.hpp:26