<BIND_MODEL> : Binding model

Java class : leon.info.model.LyModel

ROLE

The BIND_MODEL element defines a binding model.

ATTRIBUTES

<!ATTLIST BIND_MODEL
	  xmlFile CDATA #IMPLIED
	  version CDATA #IMPLIED>
Attribute Mand. Description Default
xmlFile no Path of the XML file containing the definitions.  
version no Version of the binding model. This attribute is used to manage the models compatibility.