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