Aig-list-list-best-aux
- Signature
(aig-list-list-best-aux x map) → best-list
- Arguments
- x — An AIG List List. Shouldn't contain any empty lists.
- map — Mapping of AIG nodes to labels.
- Returns
- best-list — A list containing the best AIG from each list in x.
Definitions and Theorems
Function: aig-list-list-best-aux
(defun aig-list-list-best-aux (x map)
(declare (xargs :guard t))
(let ((__function__ 'aig-list-list-best-aux))
(declare (ignorable __function__))
(if (atom x)
nil
(cons (aig-list-best-aux (car x) map)
(aig-list-list-best-aux (cdr x) map)))))
