![]() |
genspect::dictionary —
class dictionary : public genspect::aterm { public: // construct/copy/destruct dictionary(); // public member functions aterm get(aterm); void put(aterm, aterm); void dict_remove(aterm); };
aterm get(aterm key);
Get the value belonging to a given key in the dictionary.
void put(aterm key, aterm value);
Add / update a (key, value)-pair in a dictionary. If key does not already exist in the dictionary, this function adds the (key, value)-pair to the dictionary. Otherwise, it updates the value to value.
void dict_remove(aterm key);
Remove the (key, value)-pair from the dictionary. This function can be used to remove an entry from the dictionary.
Copyright © 2004 Wieger Wesselink |