mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-14 06:57:01 +00:00
99d1627a47
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@6138 a592a061-630c-0410-9148-cb99ea01b6c8
32 lines
530 B
C++
32 lines
530 B
C++
// -*- C++ -*-
|
|
#ifndef MATH_INFERINSET_H
|
|
#define MATH_INFERINSET_H
|
|
|
|
#include "math_gridinset.h"
|
|
|
|
|
|
/** for proof.sty's \infer
|
|
* \author André Poenitz
|
|
*
|
|
* Full author contact details are available in file CREDITS
|
|
*/
|
|
class MathInferInset : public MathGridInset {
|
|
public:
|
|
///
|
|
explicit MathInferInset();
|
|
///
|
|
MathInset * clone() const;
|
|
///
|
|
void metrics(MathMetricsInfo & mi) const;
|
|
///
|
|
void draw(MathPainterInfo & pi, int x, int y) const;
|
|
///
|
|
void write(WriteStream & os) const;
|
|
|
|
public:
|
|
///
|
|
MathArray opt_;
|
|
};
|
|
|
|
#endif
|