<FILTER_RELATION> : Filter on relation

Java class : leon.info.LyFilterRelation

ROLE

This element is used to define a filter on objects pointed by a relation. The idref attribute should refer to an existing relation; otherwise, an error would be raised during the parsing process.

ATTRIBUTES

<!ATTLIST FILTER_RELATION
	  idref IDREF #REQUIRED>
Attribute Mand. Description Default
idref yes Identifier of the relation used for filtering.  

ELEMENTS

<!ELEMENT FILTER_RELATION 
	  (FILTER |
	   FILTER_REF)>
Element Mand. Mult. Description
FILTER yes no Filter used on objects pointed by the relation.
FILTER_REF yes no Reference of the filter used on objects pointed by the relation.