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


Tagged Rule Literals ( TRLiteral )

Definition

An instance l of the data type TRLiteral is a pair (k, i) of a key k and an index i. Tagged rule literals are used by tagged rules.

#include < AGD/TRLiteral.h >

Creation

TRLiteral l creates an instances l of type TRLiteral initialized to (nil, 1).

TRLiteral l(AgdKey k) creates an instances l of type TRLiteral initialized to (k, 1).

TRLiteral l(AgdKey k, int i) creates an instances l of type TRLiteral initialized to (k, i).



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