[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_subtract(+Set1, +Set2, -Difference)

Subtracts Set2 from Set1
Set1
A set
Set2
A set
Difference
A set or variable

Description

Succeeds when Difference contains all and only the elements of Set1 which are not also in Set2.

Modes and Determinism

See Also

ord_symdiff / 3