<!ATTLIST FILTER_CRITERIA id ID #IMPLIED javaName NMTOKEN #REQUIRED> |
Attribute | Mand. | Description | Default |
id | no | Identifier of the filter criterion. | |
javaName | yes | Full name of the java class that performs the filtering. This class must implement the leon.info.LyFilterElement interface. |