Class holding a collection of properties attached to expressions.
Definition Props.hh:242
An iterator which iterates over indices even if they are at lower levels, i.e.
Definition IndexIterator.hh:20
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:37
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:37
const Properties * properties
Definition IndexIterator.hh:39
Ex::iterator roof
Definition IndexIterator.hh:37
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:46
value_type & reference
Definition IndexIterator.hh:49
reference operator*()
Definition IndexIterator.hh:59
const value_type & const_reference
Definition IndexIterator.hh:50
pointer operator->()
Definition IndexIterator.hh:60
value_type * pointer
Definition IndexIterator.hh:51
ptrdiff_t difference_type
Definition IndexIterator.hh:48
std::input_iterator_tag iterator_category
Definition IndexIterator.hh:53
iterator(index_iterator it)
Definition IndexIterator.hh:55
bool operator==(const iterator &other)
Definition IndexIterator.hh:57
reference operator++()
Definition IndexIterator.hh:61
index_iterator it
Definition IndexIterator.hh:65
bool operator!=(const iterator &other)
Definition IndexIterator.hh:58
index_iterator value_type
Definition IndexIterator.hh:47
const value_type * const_pointer
Definition IndexIterator.hh:52
iterator end()
Definition IndexIterator.hh:74
Ex::iterator it
Definition IndexIterator.hh:78
iterator begin()
Definition IndexIterator.hh:72
iter_indices(const Properties &properties, Ex::iterator it)
Definition IndexIterator.hh:68
size_t size()
Definition IndexIterator.hh:75
iterator begin(int offset)
Definition IndexIterator.hh:73
const Properties & properties
Definition IndexIterator.hh:79