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

Public Types | Public Member Functions | Private Member Functions | Private Attributes | Friends

Sort Class Reference

Inheritance diagram for Sort:
Inheritance graph
Collaboration diagram for Sort:
Collaboration graph

List of all members.

Public Types

enum  SpecialSorts { KIND = 0, ERROR_SORT = 0, FIRST_USER_SORT = 1, SORT_UNKNOWN = -1 }

Public Member Functions

ConnectedComponentcomponent () const
void computeLeqSorts ()
bool errorFreeMaximal () const
int getIndexWithinModule () const
const NatSetgetLeqSorts () const
int getLineNumber () const
ModulegetModule () const
const Vector< Sort * > & getSubsorts () const
const Vector< Sort * > & getSupersorts () const
int id () const
int index () const
void insertSubsort (Sort *subsort)
void processSubsorts ()
void registerConnectedSorts (ConnectedComponent *component)
void setLineNumber (int lineNr)
void setModuleInfo (Module *module, int indexWithinModule)
 Sort (int id)

Private Member Functions


Private Attributes

union {
   int   nrUnresolvedSupersorts
   int   sortIndex
int fastTest
NatSet leqSorts
Vector< Sort * > subsorts
Vector< Sort * > supersorts


bool leq (const Sort *sort1, const Sort *sort2)
bool leq (const Sort *sort1, int index2)
bool leq (int index1, const Sort *sort2)

Detailed Description

Definition at line 35 of file sort.hh.

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

Generated by  Doxygen 1.6.0   Back to index