Description:
Defines a list of a-chord-in, ie a list of all-different and sorted lists of Screamer variables.
Each variable is a member of dom.
The optional input allows to state constraints on the intermediate lists.
For instance, when list-of-chords-in is used to define a chordseq,
the constraints state on the chords.
Inputs :
l : length of the intermediate lists. For instance, (1 2 3) will give something like ((0) (0 0) (0 0 0)).
dom : domain, ie possible values for the variables
cont : an anonymous function, outputs nil or t (ie a predicate)
or a list of such anonymous functions
The type of the cont's input must be the same as the variables'.
Output : a list of lists of all different, sorted variables in dom.
The value depends on the backtracking caused by the constraints
|