<SORT_REF> : Sort reference
Java class :
leon.info.LySort
ROLE
This element refers to a sort object defined inside this XML data model. The idref attribute should refer to an existing sort; otherwise, an error would be raised during the parsing process.
ATTRIBUTES
<!ATTLIST
SORT_REF
idref
IDREF #REQUIRED>
Attribute
Mand.
Description
Default
idref
yes
Identifier of the referenced sort.