5 #include "math_inferinset.h"
6 #include "math_support.h"
7 #include "frontends/Painter.h"
8 #include "math_mathmlstream.h"
9 #include "textpainter.h"
15 MathInferInset::MathInferInset()
20 MathInset * MathInferInset::clone() const
22 return new MathInferInset(*this);
26 void MathInferInset::metrics(MathMetricsInfo &) const
31 void MathInferInset::draw(MathPainterInfo &, int, int) const
36 void MathInferInset::write(WriteStream & os) const
40 os << "[" << opt_ << "]";
41 MathGridInset::write(os);