Lists of FDs

The functions list-to-fd and top-fd-to-list convert between lists of FDs and the FD encoding of lists discussed in Chapter .

          


(list-to-fd '( ((a1 1)) 2 ((x1 1) (x2 2)) ))
-> ((car ((a1 1)))
    (cdr ((car 2)
          (cdr ((car ((x1 1) (x2 2)))
                (cdr none))))))


(top-fd-to-list '((car 1) (cdr ((car 2) (cdr none)))))
-> (1 2)


(top-fd-to-list (list-to-fd <l>))
-> <l>