next up previous contents index
Next: Default Rule Administrators ( Up: Pre- and Postconditions Previous: Rule Administrators ( RuleAdmin   Contents   Index


Rule System Iterators ( RuleAdmin::const_iterator )

Definition

Instances of type it iterate over the elements of a rule system, which is maintained by a rule administrator admin. They behave similar to const-pointers to Rule. A rule administrator provides functions to retrieve iterators pointing to the first or last element of its rule system. We say an iterator of admin is valid iff it points to an element of the rule system maintained by admin. Derefferencing is only allowed for valid iterators.

#include < AGD/RuleAdmin.h >

Creation

RuleAdmin::const_iterator it creates an invalid iterator it.

RuleAdmin::const_iterator it(const RuleAdmin& admin)
    creates an iterator it pointing to the first element of the rule system of admin.

RuleAdmin::const_iterator it(const const_iterator& iter)
    creates an iterator identical to iter.

Operations

bool it.valid() returns true iff it is valid, i.e., points to an element.

bool it == const const_iterator& iter
    returns true iff it and iter point to the same element.

bool it != const const_iterator& iter
    returns true iff it and iter point to different elements.

const_iterator & it = const const_iterator& iter
    assigns iter to it.

const Rule & *it returns the element to which it points.

const Rule * it-> returns the address of the element to which it points.

const_iterator & ++it increments and returns it.

const_iterator it++ increments it and returns its previous value.

const_iterator & -it decrements and returns it.

const_iterator it- decrements it and returns its previous value.


next up previous contents index
Next: Default Rule Administrators ( Up: Pre- and Postconditions Previous: Rule Administrators ( RuleAdmin   Contents   Index

© Copyright 1998-2001, Algorithmic Solutions Software GmbH. All rights reserved.
2001-08-13