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

Public Attributes

MetaLevel::AttributeInfo Struct Reference

Collaboration diagram for MetaLevel::AttributeInfo:
Collaboration graph

List of all members.

Public Attributes

Vector< int > format
NatSet frozen
Vector< int > gather
int metadata
NatSet polyArgs
int prec
Vector< int > strategy
SymbolType symbolType

Detailed Description

Definition at line 220 of file metaLevel.hh.

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

Generated by  Doxygen 1.6.0   Back to index