cs_all(+CS, -Cstr)

CS

Constraint set

Cstr

A list of constraints (output)

Description

Returns a list of all constraints in the constraint set.

If the constraints were added with aliases (see :~ /2), the alias term is retrieved instead of the constraint goal.

Modes and Determinism

• cs_all(+, -) is det

Examples

    ?- [X, Y] tent_set [3, 4], CS :~ (X $= Y), CS :~ (X $\= Y), cs_all(CS, C).
    X = X{3 -> 0}
    Y = Y{4 -> 0}
    CS = constraint_set(TotalVio{1 -> 0}, ...)
    C = [X{3 -> 0} $\= Y{4 -> 0}, X $= Y]
    There are 2 delayed goals.
    Yes (0.00s cpu)
    

See Also