Externals-StdReverseIterator

Nested Rules

Externals-StdReverseIterator.CompoundAssignment	User-provided summary of relevant effects of a function
Externals-StdReverseIterator.Deref	User-provided summary of relevant effects of a function
Externals-StdReverseIterator.Eq	User-provided summary of relevant effects of a function
Externals-StdReverseIterator.NotEq	User-provided summary of relevant effects of a function
Externals-StdReverseIterator.PostIncrement	User-provided summary of relevant effects of a function
Externals-StdReverseIterator.PreIncrement	User-provided summary of relevant effects of a function

Options

• Setting an option for this rule means setting the default for all nested rules.

• The following places define options that affect this rule: Analysis-GlobalOptions

• This rule has no individual options.