2002-02-14 12:38:02 +00:00
|
|
|
|
// -*- C++ -*-
|
|
|
|
|
#ifndef MATH_BIGINSET_H
|
|
|
|
|
#define MATH_BIGINSET_H
|
|
|
|
|
|
|
|
|
|
#include "math_diminset.h"
|
|
|
|
|
#include "LString.h"
|
|
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
|
#pragma interface
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/** Inset for \bigl & Co.
|
|
|
|
|
\author Andr<EFBFBD> P<EFBFBD>nitz
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
class MathBigInset : public MathDimInset {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
MathBigInset(string const & name, string const & delim);
|
|
|
|
|
///
|
|
|
|
|
MathInset * clone() const;
|
|
|
|
|
///
|
|
|
|
|
void draw(Painter &, int x, int y) const;
|
|
|
|
|
///
|
|
|
|
|
void write(WriteStream & os) const;
|
|
|
|
|
///
|
|
|
|
|
void metrics(MathMetricsInfo const & st) const;
|
|
|
|
|
///
|
|
|
|
|
void normalize(NormalStream & os) const;
|
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
///
|
2002-03-18 16:32:52 +00:00
|
|
|
|
size_type size() const;
|
2002-02-14 12:38:02 +00:00
|
|
|
|
///
|
|
|
|
|
double increase() const;
|
|
|
|
|
|
|
|
|
|
/// \bigl or what?
|
|
|
|
|
string const name_;
|
|
|
|
|
/// ( or [ or Vert...
|
|
|
|
|
string const delim_;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|