<FILTER_REF> : Filter reference

Java class : leon.info.LyFilter

ROLE

This element refers to a filter object defined inside this XML data model.
The idref attribute should refer to an existing filter; otherwise, an error would be raised during the parsing process.

ATTRIBUTES

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