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

Public Attributes

MetaLevel::StatementAttributeInfo Struct Reference

Collaboration diagram for MetaLevel::StatementAttributeInfo:
Collaboration graph

List of all members.

Public Attributes

FlagSet flags
int label
int metadata
Vector< int > printNames
Vector< Sort * > printSorts

Detailed Description

Definition at line 236 of file metaLevel.hh.

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

Generated by  Doxygen 1.6.0   Back to index