/*parser.h
  Definitions for parser.cc for the WFF language.
  Copyright (c) 1998 by Matthew Belmonte.*/

class Tree {
  public:
    Tree(Token);
    Tree(Token, Tree*);
    Tree(Token, Tree*, Tree*);
    Token oper;
    Tree *left, *right;
  };

extern Tree *parse_formula();
extern void print_tree(Tree*);