// functions overriding virtual functions from base classes
public:
- basic *duplicate() const;
void print(std::ostream &os, unsigned upper_precedence = 0) const;
void printraw(std::ostream &os) const;
void printtree(std::ostream & os, unsigned indent) const;
/** Expansion point */
ex point;
+
static unsigned precedence;
};