Class instantiatedOp::PNEEffectsIterator

• Defined in File instantiation.h

Nested Relationships

This class is a nested type of Class instantiatedOp.

Class Documentation

class PNEEffectsIterator

Public Functions

inline PNEEffectsIterator(instantiatedOp *io)

inline void toEnd()

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

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

inline PNE *operator*()

inline PNEEffectsIterator &operator++()

inline const VAL::expression *getUpdate()

inline const VAL::assign_op getOp() const