Polaris: CDSet Class Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members

CDSet Class Reference

A set of CDElement's. More...

#include <cdg_types.h>

Inheritance diagram for CDSet:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 CDSet ()
 CDSet (CDSet &another)
 ~CDSet ()
 CDGNode.
void ins (CDElement &e)
 Keep them sorted by node (use address as index).
bool operator== (CDSet &another)
 Tests for equality - same nodes AND same truth values.
bool operator<= (CDSet &another)
 Tests for inclusion (considering the truth values also).

Detailed Description

A set of CDElement's.

Allows for equality and inclusion testing. Elements are stored sorted by the address of their CDG node in memory.

Definition at line 50 of file cdg_types.h.

Constructor & Destructor Documentation

CDSet::CDSet (   )  [inline]
 

Definition at line 229 of file cdg_types.h.

CDSet::CDSet (  CDSet &  another  )  [inline]
 

Definition at line 232 of file cdg_types.h.

CDSet::~CDSet (   )  [inline]
 

CDGNode.

Definition at line 236 of file cdg_types.h.

Member Function Documentation

void CDSet::ins (  CDElement &  e  ) 
 

Keep them sorted by node (use address as index).

Definition at line 16 of file cdg_types.cc.

References Iterator< T >::current(), e, List< CDElement >::ins_before(), List< CDElement >::ins_first(), List< CDElement >::ins_last(), CDElement::node(), Iterator< T >::valid(), CDElement::value(), and Expression::value().

Referenced by cd(), cdg(), cdg_clone(), and CDGNode::ins().

bool CDSet::operator== (  CDSet &  another  ) 
 

Tests for equality - same nodes AND same truth values.

Definition at line 35 of file cdg_types.cc.

References Iterator< T >::current(), List< CDElement >::entries(), False, CDElement::node(), True, Iterator< T >::valid(), and CDElement::value().

bool CDSet::operator<= (  CDSet &  another  ) 
 

Tests for inclusion (considering the truth values also).

... If it gets here, cd1 is greater than cd2.

Definition at line 48 of file cdg_types.cc.

References Iterator< T >::current(), List< CDElement >::entries(), False, CDElement::node(), True, Iterator< T >::valid(), and CDElement::value().

The documentation for this class was generated from the following files:
 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:07:06 2005