Definition
An instance k of type AgdKey is a key, which stands for a string stored in a keymapper. If a key is stored in a keymapper mapper, it is assigned a unique index, which, e.g., can be used for realizing arrays indexed by keys in mapper. We call a key a nil key if it has no corresponding string (similar like a nil pointer).
#include < AGD/AgdKey.h >
Creation
AgdKey | k | creates a nil key. |
AgdKey | k(key::Predefined k) | converts k into a key using the default keymapper of AGD. |
AgdKey | k(const leda_string& str) | converts str into a key using the default keymapper of AGD. |
Operations
© Copyright 1998-2001, Algorithmic Solutions Software GmbH. All rights reserved.
2001-08-13