Class instantiatedOp::PropEffectsIterator

• Defined in File instantiation.h

Nested Relationships

This class is a nested type of Class instantiatedOp.

Class Documentation

class PropEffectsIterator

Public Functions

inline PropEffectsIterator(instantiatedOp *io, bool pos)

inline void toEnd()

inline bool operator==(const PropEffectsIterator &i) const

inline bool operator!=(const PropEffectsIterator &i) const

inline PropEffectsIterator &operator++()

inline Literal *operator*()