///
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;
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
+ const_iterator find(MathArray const &) const;
///
void replace(ReplaceData &);