<C_BINDS> : Multiple binding

Java class : leon.info.binding.LyUnionBinding

ROLE

In this case, one logical instance corresponds to several physical instances. The logical instance is made of the union of two physical instances.
The identifiers of the physical classes (and possibly their filters) and the list of the union conditions that enables sticking the classes are required to define this binding.

ATTRIBUTES

<!ATTLIST C_BINDS
	  strict ( true | false) "true">
Attribute Mand. Description Default
strict no Indicates if both parts of union are mandatory or not to load an union object. true

ELEMENTS

<!ELEMENT C_BINDS 
	  (%A_C_BIND;,
	   %A_C_BIND;,
	   UNION+)>
Element Mand. Mult. Description
A_C_BIND
yes no Identifier of the first physical class used in the multiple binding.
A_C_BIND
yes no Identifier of the second physical class used in the multiple binding.
UNION yes yes Union conditions that enable the linking between the two physical classes.