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

ord_add_element(+Set1, +Element, -Set2)

Adds an element to a set
Set1
A set
Element
A term
Set2
A set or variable

Description

Set2 is the set resulting from adding Element to Set1. It should give exactly the same result as merge(Set1, [Element], Set2). This is a synonym of ord_insert/3.

Modes and Determinism

See Also

ord_insert / 3