*/
+class InsetBase;
class MathInset;
class MathAtom {
// std::containers
MathAtom();
/// the "real constructor"
- explicit MathAtom(MathInset * p);
+ explicit MathAtom(InsetBase * p);
/// copy constructor, invokes nucleus_->clone()
MathAtom(MathAtom const &);
/// we really need to clean up
/// access to the inset
MathInset const * operator->() const { return nucleus_; }
+ /// width cache. Not nice...
+ mutable int width_;
+
private:
///
MathInset * nucleus_;