Class State::const_iterator

• Defined in File State.h

Nested Relationships

This class is a nested type of Class State.

Class Documentation

class const_iterator

Public Functions

inline const_iterator(const State &s)

inline bool operator==(const const_iterator &itr) const

inline bool operator!=(const const_iterator &itr) const

inline const_iterator &operator++()

inline const SimpleProposition *operator*() const

inline void toEnd()