<UNIT_REF> : Unit reference

Java class : leon.info.LyUnit

ROLE

A unit may be referenced.

ATTRIBUTES

<!ATTLIST UNIT_REF
	  idref IDREF #REQUIRED>
Attribute Mand. Description Default
idref yes Unit reference.