index_iterator & operator++()
Definition: IndexIterator.cc:84
static index_iterator create(const Properties &, const iterator_base &)
Definition: IndexIterator.cc:12
static index_iterator begin(const Properties &, const iterator_base &, int offset=0)
Definition: IndexIterator.cc:122
Ex::iterator roof
Definition: IndexIterator.hh:33
bool is_index(Ex::iterator) const
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition: IndexIterator.hh:16
Ex::iterator walk
Definition: IndexIterator.hh:33
bool operator==(const index_iterator &) const
Definition: IndexIterator.cc:37
index_iterator & operator+=(unsigned int)
Definition: IndexIterator.cc:74
index_iterator & operator=(const index_iterator &)
Definition: IndexIterator.cc:138
static index_iterator end(const Properties &, const iterator_base &)
Definition: IndexIterator.cc:130
const Properties * properties
Definition: IndexIterator.hh:35
index_iterator(const Properties &)
Definition: IndexIterator.cc:7
bool operator!=(const index_iterator &) const
Definition: IndexIterator.cc:31
Class holding a collection of properties attached to expressions.
Definition: Props.hh:203
Ex::iterator halt
Definition: IndexIterator.hh:33