#include "math_gridinset.h"
-#ifdef __GNUG__
-#pragma interface
-#endif
/** for proof.sty's \infer
* \author André Poenitz
///
explicit MathInferInset();
///
- MathInset * clone() const;
+ virtual std::auto_ptr<InsetBase> clone() const;
///
- void metrics(MathMetricsInfo & mi) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
- void draw(MathPainterInfo & pi, int x, int y) const;
+ void draw(PainterInfo & pi, int x, int y) const;
///
void write(WriteStream & os) const;