Public Types
using	iterator_category = std::random_access_iterator_tag

using	value_type = Proposition

using	difference_type = ptrdiff_t

using	pointer = const Proposition *

using	reference = const Proposition &

Public Member Functions
	iterator (const StateIndex *state_index, int idx)

iterator &	operator++ ()

iterator	operator++ (int)

reference	operator* () const

pointer	operator-> () const

bool	operator== (const iterator &rhs) const

bool	operator!= (const iterator &rhs) const

iterator &	operator-- ()

iterator	operator-- (int)

bool	operator< (const iterator &rhs) const

bool	operator> (const iterator &rhs) const

bool	operator<= (const iterator &rhs) const

bool	operator>= (const iterator &rhs) const

iterator &	operator+= (difference_type n)

iterator	operator+ (difference_type n) const

iterator &	operator-= (difference_type n)

iterator	operator- (difference_type n) const

difference_type	operator- (const iterator &rhs) const

value_type	operator[] (difference_type n) const

Friends
iterator	operator+ (difference_type n, const iterator &it)

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

Public Types

Public Member Functions