1 #ifndef GINAC_LEXER_HPP_
2 #define GINAC_LEXER_HPP_
14 /// last character read from stream
16 /// identifier and number tokens are stored here
23 lexer(std::istream* in = 0, std::ostream* out = 0, std::ostream* err = 0);
27 void switch_input(std::istream* in);
44 #endif // GINAC_LEXER_HPP_