17 virtual void write(std::ostream& stream) = 0;
20 std::ostream& operator <<(std::ostream&,
Expr*);
23 std::vector<std::string> parts;
25 virtual void write(std::ostream& stream);
34 virtual void write(std::ostream& stream);
57 virtual void write(std::ostream& stream);
62 virtual void write(std::ostream& stream);
65 Expr* parseAtom(
const char*& b);
66 Expr* Parse(
const std::string& exp);