lex_string


  class lex_string {
  istrstream* is;
  public:
  inline lex_string(char *s )  {
           is = new istrstream(s);
           }
  inline ~lex_string() {
           //is->close();
  //cerr << "Closing:" << name << endl;
  if (is) delete is; }
  istream* stream() {  return is; }
  
  inline void process(iter<term>* l) { (*l)(); }
  };

slide: lex_string