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