[ library(tentative) | Reference Manual | Alphabetic Index ]

cs_create(-CS, ++Options)

Create an empty constraint set
CS
Constraint set (output)
Options
List of options

Description

Create an empty constraint set. No options are currently supported. A constraint set is an abstract data structure which should only be accessed through the cs_xxx group of predicates. Its purpose is to group constraints together and organise access to these constraints based on their violatedness counts.

Modes and Determinism

Examples

    ?- cs_create(CS, []).
    CS = constraint_set(Violations{0 -> 0}, [])
    Yes (0.00s cpu)

See Also

:~ / 2, cs_clear_all / 1, cs_clear_satisfied / 1, cs_violations / 2, cs_current_violations / 2, cs_random_worst / 2, cs_all_worst / 2, cs_all_violated / 2, cs_random_violated / 2, cs_all / 2