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 #ifdef __GNUG__
   8 #pragma interface
   9 #endif
  10
  11 /** for proof.sty's \infer
  12     \author André Poenitz
  13  */
  14 class MathInferInset : public MathGridInset {
  15 public:
  16         ///
  17         explicit MathInferInset();
  18         ///
  19         MathInset * clone() const;
  20         ///
  21         void metrics(MathMetricsInfo & mi) const;
  22         ///
  23         void draw(MathPainterInfo & pi, int x, int y) const;
  24         ///
  25         void write(WriteStream & os) const;
  26
  27 public:
  28         ///
  29         MathArray opt_;
  30 };
  31
  32 #endif