class PushSet

Push a set on the stack. More...

 Annotated List  Files  Globals  Hierarchy  Index  Top

Public Methods

Detailed Description

The difference with a normal push, is that the operation does does not own the set element, but only contains the label of the set. The SetManager will match the set label with the actual element. [It is much like containing a pointer, and the SetManager deals with dereference].

SetManager acts similar to VarRW [almost like a symbol-table].

 PushSet (const string& setid)



setidname of the set.


const string&  setid ()



Returns: name of the set.

Generated by: pavlin on on Wed Jan 7 19:11:01 2009, using kdoc 2.0a54+XORP.