New Features of Eli Version 4.2
 
This chapter summarizes changes made to the Module Library. For more details, see
Specification Module Library: Abstract Data Types.
List-Module
A macro SingleTYPEList(e) has been added. It creates a singleton list
from the element e. In LIDO specifications it may be used e.g.
in WITH clauses of CONSTITUENTS.
A function AddToOrderedSetTYPEList has been added.
It adds an element to a list if it is not yet in that list.
In contrast to the function AddToSetTYPEList it is
assumed that the list is ordered increasingly.
LidoList-Module
A symbol role TYPEFilterListElem has been added.
On list construction it
may be used instead of TYPEListElem in order to
decide for each element whether it is to be inserted into the
list.
|
