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

Public Member Functions | Private Attributes

OpDeclaration Class Reference

Collaboration diagram for OpDeclaration:
Collaboration graph

List of all members.

Public Member Functions

const Vector< Sort * > & getDomainAndRange () const
bool isConstructor () const
void setInfo (const Vector< Sort * > &domainAndRange, bool constructorFlag)

Private Attributes

bool ctorFlag
Vector< Sort * > sortInfo

Detailed Description

Definition at line 29 of file opDeclaration.hh.

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

Generated by  Doxygen 1.6.0   Back to index