///
InsetMathDiff();
///
- void addDer(MathArray const & der);
+ void addDer(MathData const & der);
///
- void metrics(MetricsInfo & mi, Dimension & dim) const;
+ bool metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
void mathematica(MathematicaStream &) const;
///
- void mathmlize(MathMLStream &) const;
+ void mathmlize(MathStream &) const;
///
void maxima(MaximaStream &) const;
///
void write(WriteStream & os) const;
private:
- virtual std::auto_ptr<InsetBase> doClone() const;
+ virtual std::auto_ptr<Inset> doClone() const;
};