///
void validate(LaTeXFeatures & features) const;
/// identifies MatrixInsets
- virtual MathHullInset const * asHullInset() const { return this; }
+ MathHullInset const * asHullInset() const { return this; }
/// identifies HullInset
- virtual MathHullInset * asHullInset() { return this; }
+ MathHullInset * asHullInset() { return this; }
///
void addRow(row_type);
///
void validate1(LaTeXFeatures & features);
///
- void header_write(std::ostream &) const;
+ void header_write(WriteStream &) const;
///
- void footer_write(std::ostream &) const;
+ void footer_write(WriteStream &) const;
///
void glueall();
///
string nicelabel(row_type row) const;
+ /// consistency check
+ void check() const;
///
MathInsetTypes objtype_;