src/mathed/math_inferinset.C

   1
   2 #include "math_inferinset.h"
   3 #include "math_support.h"
   4 #include "frontends/Painter.h"
   5 #include "math_mathmlstream.h"
   6 #include "textpainter.h"
   7
   8
   9 MathInferInset::MathInferInset()
  10         : MathGridInset(1, 1)
  11 {}
  12
  13
  14 MathInset * MathInferInset::clone() const
  15 {
  16         return new MathInferInset(*this);
  17 }
  18
  19
  20 Dimension MathInferInset::metrics(MetricsInfo &) const
  21 {
  22         return Dimension();
  23 }
  24
  25
  26 void MathInferInset::draw(PainterInfo &, int, int) const
  27 {
  28 }
  29
  30
  31 void MathInferInset::write(WriteStream & os) const
  32 {
  33         os << "\\infer";
  34         if (opt_.size())
  35                 os << '[' << opt_ << ']';
  36         MathGridInset::write(os);
  37 }