Class holding a collection of properties attached to expressions.
Definition: Props.hh:237
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition: IndexIterator.hh:16
bool is_index(Ex::iterator) const
index_iterator(const Properties &)
Definition: IndexIterator.cc:7
bool operator!=(const index_iterator &) const
Definition: IndexIterator.cc:31
index_iterator operator++(int)
bool operator==(const index_iterator &) const
Definition: IndexIterator.cc:37
index_iterator & operator+=(unsigned int)
Definition: IndexIterator.cc:74
Ex::iterator walk
Definition: IndexIterator.hh:33
static index_iterator end(const Properties &, const iterator_base &)
Definition: IndexIterator.cc:130
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 halt
Definition: IndexIterator.hh:33
const Properties * properties
Definition: IndexIterator.hh:35
Ex::iterator roof
Definition: IndexIterator.hh:33
index_iterator & operator++()
Definition: IndexIterator.cc:84
index_iterator & operator=(const index_iterator &)
Definition: IndexIterator.cc:138
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
Definition: IndexIterator.hh:42
reference operator*()
Definition: IndexIterator.hh:55
pointer operator->()
Definition: IndexIterator.hh:56
ptrdiff_t difference_type
Definition: IndexIterator.hh:44
std::input_iterator_tag iterator_category
Definition: IndexIterator.hh:49
iterator(index_iterator it)
Definition: IndexIterator.hh:51
bool operator==(const iterator &other)
Definition: IndexIterator.hh:53
reference operator++()
Definition: IndexIterator.hh:57
index_iterator it
Definition: IndexIterator.hh:61
bool operator!=(const iterator &other)
Definition: IndexIterator.hh:54
Definition: IndexIterator.hh:41
iterator end()
Definition: IndexIterator.hh:70
Ex::iterator it
Definition: IndexIterator.hh:74
iterator begin()
Definition: IndexIterator.hh:68
iter_indices(const Properties &properties, Ex::iterator it)
Definition: IndexIterator.hh:64
size_t size()
Definition: IndexIterator.hh:71
iterator begin(int offset)
Definition: IndexIterator.hh:69
const Properties & properties
Definition: IndexIterator.hh:75