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