<ARG> : Argument

Java class : leon.info.misc.LyArgument

ROLE

An argument defines a parameter for a control.

ATTRIBUTES

<!ATTLIST ARG
	  name CDATA #REQUIRED
	  value CDATA #IMPLIED
	  idref IDREF #IMPLIED>
Attribute Mand. Description Default
name yes Name of the argument. The value of the argument is retrieved with its name.  
value no Free value for the argument.  
idref no Reference value of an element for the argument.