<SORT_CRITERIA_REF> : Sort criterion reference
Java class :
leon.info.LySortCriterion
ROLE
This element allows to reference a sort criterion declared in the XML document. The idref attribute should refer to the identifier of an existing sort criterion; otherwise, an error would be raised during the parsing process.
ATTRIBUTES
<!ATTLIST
SORT_CRITERIA_REF
idref
IDREF #REQUIRED>
Attribute
Mand.
Description
Default
idref
yes
Identifier of the referenced sort criterion.