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 void MathInferInset::metrics(MathMetricsInfo &) const
  21 {
  22 }
  23
  24
  25 void MathInferInset::draw(MathPainterInfo &, int, int) const
  26 {
  27 }
  28
  29
  30 void MathInferInset::write(WriteStream & os) const
  31 {
  32         os << "\\infer";
  33         if (opt_.size())
  34                 os << '[' << opt_ << ']';
  35         MathGridInset::write(os);
  36 }