Кадд: извлечение переменной порядка

Я пытаюсь использовать эвристику упорядочения CUDD для другой программы. Я создал BDD, попробовал несколько переменных порядка, чтобы увидеть, какой из них минимизирует размер, и теперь я хочу извлечь порядок переменных. Как я могу это сделать?

В соответствии с этот ответ, dd Пакет python дает вам возможность проверить уровень каждой переменной, но я не вижу соответствующей функции в интерфейсе C / C ++. Как эта привязка Python выполняет его? Требуется ли доступ к внутренним компонентам CUDD через cuddInt.h?