src/mathed/math_inferinset.h

   1 // -*- C++ -*-
   2 #ifndef MATH_INFERINSET_H
   3 #define MATH_INFERINSET_H
   4
   5 #include "math_gridinset.h"
   6
   7
   8 /** for proof.sty's \infer
   9  *  \author André Poenitz
  10  *
  11  * Full author contact details are available in file CREDITS
  12  */
  13 class MathInferInset : public MathGridInset {
  14 public:
  15         ///
  16         explicit MathInferInset();
  17         ///
  18         MathInset * clone() const;
  19         ///
  20         void metrics(MathMetricsInfo & mi) const;
  21         ///
  22         void draw(MathPainterInfo & pi, int x, int y) const;
  23         ///
  24         void write(WriteStream & os) const;
  25
  26 public:
  27         ///
  28         MathArray opt_;
  29 };
  30
  31 #endif