2001-08-16 12:34:48 +00:00
|
|
|
// -*- C++ -*-
|
|
|
|
|
#ifndef MATH_NOTINSET_H
|
|
|
|
|
#define MATH_NOTINSET_H
|
|
|
|
|
|
|
|
|
|
#include "math_diminset.h"
|
|
|
|
|
|
|
|
|
|
// \\not
|
|
|
|
|
|
|
|
|
|
class MathNotInset : public MathDimInset {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
MathNotInset();
|
|
|
|
|
///
|
|
|
|
|
MathInset * clone() const;
|
|
|
|
|
///
|
2001-11-09 08:35:57 +00:00
|
|
|
void write(WriteStream & os) const;
|
2001-08-16 12:34:48 +00:00
|
|
|
///
|
2001-11-09 08:35:57 +00:00
|
|
|
void normalize(NormalStream &) const;
|
2001-08-16 12:34:48 +00:00
|
|
|
///
|
2001-10-19 11:25:48 +00:00
|
|
|
void metrics(MathMetricsInfo const & st) const;
|
2001-08-16 12:34:48 +00:00
|
|
|
///
|
|
|
|
|
void draw(Painter &, int x, int y) const;
|
2001-10-22 15:37:49 +00:00
|
|
|
private:
|
|
|
|
|
///
|
|
|
|
|
mutable MathMetricsInfo mi_;
|
2001-08-16 12:34:48 +00:00
|
|
|
};
|
|
|
|
|
#endif
|
