<REVERSE> : Reverse daemon

Java class : leon.info.daemon.LyReverseDaemon

ROLE

The reverse daemon tells how to compute a (0,n) or (1,n) relation between two classes.

ATTRIBUTES

<!ATTLIST REVERSE
	  reverseRelation IDREF #REQUIRED>
Attribute Mand. Description Default
reverseRelation yes Reference to the relation in the target class that points to the class that contains the managed relation.