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

Public Member Functions | Private Attributes

NamedEntity Class Reference

Inheritance diagram for NamedEntity:
Inheritance graph

List of all members.

Public Member Functions

int id () const
 NamedEntity (int id)

Private Attributes

const int name

Detailed Description

Definition at line 29 of file namedEntity.hh.

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

Generated by  Doxygen 1.6.0   Back to index