eclipseclp/Mercury/m_map.pl

137 	entry with key Key.
140 	This predicate should only be called with maps created by other
153 	summary:	"Succeeds if Key and Value unify with a key/value pair from Map.",
154 	fail_if:	"Fails if Key and Value do not unify with a key/value pair from Map.",
159 	Tries to unify Key and Value with key/value pairs from the map Map.
166 	This predicate should only be called with maps created by other
181 	fail_if:	"Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.",
186 	This predicate searches the map Map for an entry with key Key.
188 	value with Value.
191 	This predicate should only be called with maps created by other
205 	fail_if:	"Fails if Value does not unify with the value corresponding to Key.",
210 	This predicate searches the map Map for an entry with key Key.
212 	value with Value.  If the key is not found, then it aborts with
216 	This predicate should only be called with maps created by other
231 	fail_if:	"Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.",
238 	This predicate searches the map Map for the entry with the
240 	found, then it attempts to unify it with Key and the corresponding
241 	value with Value.
244 	This predicate should only be called with maps created by other
259 	fail_if:	"Fails if Key and Value do not unify with the key and value found.",
266 	This predicate searches the map Map for the entry with the
268 	found, then it attempts to unify it with Key and the corresponding
269 	value with Value.  If such a key is not found, then it aborts with
273 	This predicate should only be called with maps created by other
288 	fail_if:	"Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.",
295 	This predicate searches the map Map for the entry with the
297 	found, then it attempts to unify it with Key and the corresponding
298 	value with Value.
301 	This predicate should only be called with maps created by other
316 	fail_if:	"Fails if Key and Value do not unify with the key and value found.",
323 	This predicate searches the map Map for the entry with the
325 	found, then it attempts to unify it with Key and the corresponding
326 	value with Value.  If such a key is not found, then it aborts with
330 	This predicate should only be called with maps created by other
344 	fail_if:	"Fails if Value does not appear in Map or if Key does not unify with any corresponding keys found.",
350 	with Value.  If such a value is found, then it attempts to unify the
351 	corresponding key with Key.
354 	This predicate should only be called with maps created by other
374 	This predicate inserts the key Key with corresponding value Value
379 	This predicate should only be called with maps created by other
399 	This predicate inserts the key Key with corresponding value Value
401 	already in the map, then the predicate aborts with a runtime error.
404 	This predicate should only be called with maps created by other
431 	This predicate should only be called with maps created by other
457 	This predicate should only be called with maps created by other
482 	This predicate should only be called with maps created by other
505 	then the predicate aborts with a runtime error.
508 	This predicate should only be called with maps created by other
531 	the key Key into the map with value Value.  The resulting map is
535 	This predicate should only be called with maps created by other
556 	This predicate should only be called with maps created by other
578 	This predicate should only be called with maps created by other
599 	This predicate should only be called with maps created by other
621 	This predicate should only be called with maps created by other
643 	This predicate should only be called with maps created by other
708 	This predicate should only be called with maps created by other
733 	This predicate should only be called with maps created by other
748 	fail_if:	"Fails is Key does not appear in Map0 or if Value does not unify with the corresponding value.",
754 	to unify its corresponding value with Value.  Map is Map0 with the
758 	This predicate should only be called with maps created by other
773 	fail_if:	"Fails if Value does not unify with the value corresponding to Key.",
780 	unify the removed value with Value.  If the key Key was not in the
781 	map Map0, then the predicate aborts with a runtime error.
784 	This predicate should only be called with maps created by other
797 	fail_if:	"Fails if Count does not unify with the number of elements in Map.",
802 	unify the result with Count.
805 	This predicate should only be called with maps created by other
848 	which corresponding value will end up associated with that key
852 	This predicate should only be called with maps created by other
877 	This predicate should only be called with maps created by other
903 	This predicate should only be called with maps created by other
917 	fail_if:	"Fails if ValueList does not unify with the list of values corresponding to KeyList.",
928 	This predicate should only be called with maps created by other
948 	for lookups, with few or no modifications to be expected.
951 	This predicate should only be called with maps created by other
966 	fail_if:	"Fails if Map0 is empty or if Key and Value do not unify with the key and value removed.",
972 	map Map), and attempts to unify the removed key with Key and
973 	its corresponding value with Value.
976 	This predicate should only be called with maps created by other