[ Reference Manual | Alphabetic Index ]
Collection of lists library
- append_element(+LCOL, ++Index, +Elem)
- Append an Elem to the internal list identified by Index.
- append_list(+LCOL, ++Index, +List)
- Append a List to the internal list identified by Index.
- create(++Type, -LCOL)
- Creates a list collection
- get_indexes(+LCOL, -Indexes)
- Retrieves the list of indexes
- get_list(+LCOL, ++Index, -List)
- Retrieves the list of elements identified by Index
- prefix_element(+LCOL, ++Index, +Elem)
- Prefixes the internal list identified by Index with an Elem.
- prefix_list(+LCOL, ++Index, +List)
- Prefixes the internal list identified by Index with a List.
- reinit(+LCOL, ++Index)
- Creates a new list identified by Index
- terminate_all_lists(+LCOL, -Indexes)
- Terminates all internal lists in the collection, and gets the list of indexes
- terminate_and_get_list(+LCOL, ++Index, -List)
- Retrieves the List of elements identified by Index
A library for creation and management of list collections (LCOL).
Internally the library uses either the a hashtable or arrays to store lists and their tails.
The advantage of a hash LCOL is that its size does not have to be known in advance and that
non number indexes can be used to address lists in the collection. The drawback of a hash LCOL
is that access to collection elements is slower than for array LCOL. Elements of array LCOL
can be addressed only by positive integers which internally are array indexes. See create/2
for more details.
The motivation for creating this library was to be able to easily build input lists for global
constraints from collections of input structures (see example). For this purpose an array(3) LCOL
was usually sufficient, and only a limited set of predicates needed (create/2 , append_element/3,
But the idea was extended, additional predicates were added for prefixing the lists, and
reinitialisation of lists. The support for hash LCOL has been added. Hash LCOL may be useful for
some filtering, grouping predicates in cases when the number of lists may vary or indexing by
atoms/ground terms is more readable/convenient.
act(3,4 ,1,machine_2 ),
%create a collection of activity lists for corresponding machines
%sort the activities for machines
(Machine \= removed ->
%add an activity to the list for the particular machine
%close the lists get the machine names
%for each machine
%Note that get_list/3 can be used even if the lists are not terminated but in such a case the operation
%is more time consuming, because all the list elements are copied to new closed list and then returned.
%Instead of closing all the lists at once it is also possible to use terminate_and_get_list/3 to ensure
%that the list is closed.
%get the activity list for the machine
%create a collection for start,duration and resource variable lists
ic:(Duration #= End - Start),
list_collection:append_element(LCOL_Start_Dur_Res, 1, Start),
list_collection:append_element(LCOL_Start_Dur_Res, 2, Duration),
list_collection:append_element(LCOL_Start_Dur_Res, 3, Resource)
%terminate the start,duration,resource lists
%get the lists for a cumulative constraint
list_collection:get_list(LCOL_Start_Dur_Res, 1, StartList),
list_collection:get_list(LCOL_Start_Dur_Res, 2, DurationList),
list_collection:get_list(LCOL_Start_Dur_Res, 3, ResourceList),
%post the constraint
ic_edge_finder:cumulative(StartList, DurationList, ResourceList, 3)
- Author: Lukasz Domagala
- Copyright © Silesian University of Technology
- Date: $Date: 2009/07/16 09:11:23 $
Generated from list_collection.eci on 2017-11-22 13:48