[ 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

- cs_create(-, ++) is det

## 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