oh well

[lyx.git] / src / mathed / math_data.h

diff --git a/src/mathed/math_data.h b/src/mathed/math_data.h
index 86b8125eda72eb97fb06bf904ad49fbeaae3d9a6..2b94c69dd074633e663f07d34f24079435acddc1 100644 (file)
--- a/src/mathed/math_data.h
+++ b/src/mathed/math_data.h
@@ -1,7 +1,7 @@
 // -*- C++ -*-
 /*
- *  Purpose:     A general purpose resizable array.  
- *  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx> 
+ *  Purpose:     A general purpose resizable array.
+ *  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx>
  *  Created:     January 1996
  *
  *  Dependencies: None (almost)
@@ -33,7 +33,7 @@ class ReplaceData;
 
 /** \class MathArray
     \brief Low level container for math insets
-    
+
     \author Alejandro Aguilar Sierra
     \author André Pönitz
     \author Lars Gullik Bjønnes
@@ -51,6 +51,8 @@ public:
        ///
        typedef buffer_type::size_type       size_type;
        ///
+       typedef buffer_type::difference_type difference_type;
+       ///
        typedef buffer_type::size_type       idx_type;
        ///
        typedef buffer_type::size_type       pos_type;
@@ -71,7 +73,7 @@ public:
        void clear();
        ///
        void swap(MathArray &);
-       
+
        ///
        void insert(size_type pos, MathAtom const &);
        ///
@@ -108,8 +110,12 @@ public:
        void dump2() const;
        ///
        void substitute(MathMacro const &);
-       ///
+       /// looks for exact match
        bool match(MathArray const &) const;
+       /// looks for inclusion match starting at pos
+       bool matchpart(MathArray const &, pos_type pos) const;
+       /// looks for containment
+       bool contains(MathArray const &) const;
        ///
        void replace(ReplaceData &);
 
@@ -120,9 +126,9 @@ public:
        ///
        void validate(LaTeXFeatures &) const;
        ///
-       const_iterator begin() const;   
+       const_iterator begin() const;
        ///
-       const_iterator end() const;     
+       const_iterator end() const;
        ///
        iterator begin();
        ///