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  * Full author contact details are available in file CREDITS
  15  */
  16 class MathInferInset : public MathGridInset {
  17 public:
  18         ///
  19         explicit MathInferInset();
  20         ///
  21         MathInset * clone() const;
  22         ///
  23         void metrics(MathMetricsInfo & mi) const;
  24         ///
  25         void draw(MathPainterInfo & pi, int x, int y) const;
  26         ///
  27         void write(WriteStream & os) const;
  28
  29 public:
  30         ///
  31         MathArray opt_;
  32 };
  33
  34 #endif