Description:
Defines a list of Screamer variables.
Each variable is a member of dom. a-chord-in contains two predefined constraints, they state that the values in the list are all different (you can't get (1 1 1)), and the list is sorted (you can't get (2 1 3)).
So the output looks more like a set, which is usefull for chords definition.
Inputs :
n : length of the list
dom : domain for each variable
Output : a list of n sorted and all different variables in dom.
The value depends on the backtracking caused by the constraints
|