<PATH_REF> : Path reference

Java class : leon.info.LyPath

ROLE

The idref attribute should refer to an existing path; otherwise, an error would be raised during the parsing process.

ATTRIBUTES

<!ATTLIST PATH_REF
	  idref IDREF #REQUIRED>
Attribute Mand. Description Default
idref yes Identifier of the referenced path.