library(ic_global)

Predicates

alldifferent(+List)

All members of List are different

alldifferent(+List,++Capacity)

The list List contains at most Capacity elements of each value

atmost(+N, ?List, +V)

At most N elements of the list List have the value V.

element(?Index, ++List, ?Value)

Value is the Index'th element of the integer list List.

lexico_le(+List1, +List2)

List1 is lexicographically less or equal to List2

maxlist(+List, ?Max)

Max is the maximum of the values in List

minlist(+List, ?Min)

Min is the minimum of the values in List

occurrences(++Value, +List, ?N)

The value Value occurs in List N times

ordered(++Relation, +List)

Constrains List to be ordered according to Relation

ordered_sum(+List, ?Sum)

The list elements are ordered and their sum is Sum

sorted(?List, ?Sorted)

Sorted is a sorted permutation of List

sorted(?List, ?Sorted, ?Positions)

Sorted is a sorted permutation (described by Positions) of List

sum_ge_zero(?)

No description available

sumlist(+List, ?Sum)

The sum of the list elements is Sum

Reexports

About

• Author: J.Schimpf, V.Liatsos, S.Novello, M.Wallace, A.Sadler, IC-Parc
• Copyright © Parc Technologies Ltd
• Date: $Date: 2003/11/25 16:04:31 $