<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.