5 #include "math_inferinset.h"
6 #include "math_support.h"
7 #include "frontends/Painter.h"
8 #include "math_mathmlstream.h"
9 #include "textpainter.h"
12 MathInferInset::MathInferInset()
17 MathInset * MathInferInset::clone() const
19 return new MathInferInset(*this);
23 void MathInferInset::metrics(MathMetricsInfo &) const
28 void MathInferInset::draw(MathPainterInfo &, int, int) const
33 void MathInferInset::write(WriteStream & os) const
37 os << '[' << opt_ << ']';
38 MathGridInset::write(os);