Right now, the CDD print function prints indices of clock and boolean variables as labels for the nodes. To increase the human readability of the printed CDDs, we should print the actual variable names as the labels. As the variable names are not part of the CDD data structure, we should supply a mapping of indices to variable names to the print function.
Right now, the CDD print function prints indices of clock and boolean variables as labels for the nodes. To increase the human readability of the printed CDDs, we should print the actual variable names as the labels. As the variable names are not part of the CDD data structure, we should supply a mapping of indices to variable names to the print function.