Диаграмма решения для логической функции с несколькими выходами в CUDD
Я знаю, что CUDD поддерживает ADD (Алгебраические Диаграммы Решений), но я не могу понять, как я могу использовать ADD для нескольких выходных логических функций. ADD для таких функций должен иметь несколько листов, каждый из которых представляет логический выходной вектор (может быть закодирован как целое число). Например, 0101 как 5, 1000 как 8 и так далее. Кто-нибудь знает, могут ли такие DD быть встроены в CUDD?