<RULE_REF> : Rule reference
Java class :
leon.info.LyRule
ROLE
This element allows to reference a rule declared in the XML document. The idref attribute should refer to the identifier of an existing rule; otherwise, an error would be raised during the parsing process.
ATTRIBUTES
<!ATTLIST
RULE_REF
idref
IDREF #REQUIRED>
Attribute
Mand.
Description
Default
idref
yes
Identifier of the referenced rule.