Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Member Functions | Private Member Functions | Private Attributes

ConnectedComponent Class Reference

Inheritance diagram for ConnectedComponent:
Inheritance graph
Collaboration diagram for ConnectedComponent:
Collaboration graph

List of all members.

Public Member Functions

int appendSort (Sort *sort)
 ConnectedComponent (Sort *firstSort)
bool errorFree () const
void errorSortSeen ()
int findIndex (const NatSet &leqSorts) const
void findMaximalSorts (const NatSet &uSorts, Vector< Sort * > &maxSorts) const
int getIndexWithinModule () const
const NatSetgetLeqSorts (int index) const
ModulegetModule () const
bool leq (int index1, int index2) const
int nrMaximalSorts () const
int nrSorts () const
void registerSort (Sort *sort)
void setModuleInfo (Module *module, int indexWithinModule)
Sortsort (int index) const

Private Member Functions

 NO_COPYING (ConnectedComponent)

Private Attributes

Bool errorFreeFlag
short nrMaxSorts
int sortCount
Vector< Sort * > sorts

Detailed Description

Definition at line 31 of file connectedComponent.hh.

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index