2002-08-28 08:30:27 +00:00
|
|
|
|
|
|
|
#include "math_inferinset.h"
|
|
|
|
#include "math_support.h"
|
|
|
|
#include "frontends/Painter.h"
|
|
|
|
#include "math_mathmlstream.h"
|
|
|
|
#include "textpainter.h"
|
|
|
|
|
|
|
|
|
|
|
|
MathInferInset::MathInferInset()
|
|
|
|
: MathGridInset(1, 1)
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
MathInset * MathInferInset::clone() const
|
|
|
|
{
|
|
|
|
return new MathInferInset(*this);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-05-28 13:22:36 +00:00
|
|
|
Dimension MathInferInset::metrics(MetricsInfo &) const
|
2002-08-28 08:30:27 +00:00
|
|
|
{
|
2003-05-28 13:22:36 +00:00
|
|
|
return Dimension();
|
2002-08-28 08:30:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
void MathInferInset::draw(PainterInfo &, int, int) const
|
2002-08-28 08:30:27 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathInferInset::write(WriteStream & os) const
|
|
|
|
{
|
|
|
|
os << "\\infer";
|
|
|
|
if (opt_.size())
|
2002-11-27 10:30:28 +00:00
|
|
|
os << '[' << opt_ << ']';
|
2002-08-28 08:30:27 +00:00
|
|
|
MathGridInset::write(os);
|
|
|
|
}
|