///
InsetMathBrace();
///
- InsetMathBrace(MathArray const & ar);
+ InsetMathBrace(MathData const & ar);
+ ///
+ InsetMathBrace const * asBraceInset() const { return this; }
/// we write extra braces in any case...
bool extraBraces() const { return true; }
///
void mathmlize(MathStream &) const;
///
void infoize(odocstream & os) const;
-
- /// identifies brace insets
- InsetMathBrace * asBraceInset() { return this; }
- /// identifies brace insets
- InsetMathBrace const * asBraceInset() const { return this; }
private:
- virtual std::auto_ptr<InsetBase> doClone() const;
+ virtual std::auto_ptr<Inset> doClone() const;
};