docc 0.8.3 (0d44999b)
C++ API Reference
Loading...
Searching...
No Matches
sdfg::symbolic::Assumptions::const_iterator Class Reference

Visits the own entries, then the base's entries the own ones do not shadow. More...

#include <sdfg/symbolic/assumptions.h>

Public Types

using iterator_category = std::forward_iterator_tag
using value_type = Assumptions::value_type
using difference_type = std::ptrdiff_t
using pointer = const value_type*
using reference = const value_type&

Public Member Functions

 const_iterator ()=default
reference operator* () const
pointer operator-> () const
const_iterator & operator++ ()
const_iterator operator++ (int)
bool operator== (const const_iterator &other) const
bool operator!= (const const_iterator &other) const

Friends

class Assumptions

Detailed Description

Visits the own entries, then the base's entries the own ones do not shadow.

Member Typedef Documentation

◆ difference_type

◆ iterator_category

◆ pointer

◆ reference

◆ value_type

Constructor & Destructor Documentation

◆ const_iterator()

sdfg::symbolic::Assumptions::const_iterator::const_iterator ( )
default

Member Function Documentation

◆ operator!=()

bool sdfg::symbolic::Assumptions::const_iterator::operator!= ( const const_iterator & other) const
inline

◆ operator*()

reference sdfg::symbolic::Assumptions::const_iterator::operator* ( ) const
inline

◆ operator++() [1/2]

const_iterator & sdfg::symbolic::Assumptions::const_iterator::operator++ ( )
inline

◆ operator++() [2/2]

const_iterator sdfg::symbolic::Assumptions::const_iterator::operator++ ( int )
inline

◆ operator->()

pointer sdfg::symbolic::Assumptions::const_iterator::operator-> ( ) const
inline

◆ operator==()

bool sdfg::symbolic::Assumptions::const_iterator::operator== ( const const_iterator & other) const
inline

◆ Assumptions

friend class Assumptions
friend

The documentation for this class was generated from the following file: