class PushSet

Push a set on the stack. More...

 
LOGO
 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)

PushSet

Parameters:

setidname of the set.
 INSTR_VISITABLE ()

INSTR_VISITABLE

const string&  setid ()

setid

[const]

Returns: name of the set.


Generated by: pavlin on possum.icir.org on Wed Aug 2 15:36:29 2006, using kdoc $.