对于那里的 CUDD 大师，我实际上使用的是 Python 等价物 tulip-dd： https ://github.com/tulip-control/dd 。
我正在尝试绘制由以下定义的 MDD 或多状态决策图：
from omega.symbolic import temporal as trl
aut = trl.Automaton()
aut.declare_variables(y=(0, 3))
u=aut.add_expr('y = 1')
我的问题之一是如何绘制 MDD。我试过了：
aut.collect_garbage()
aut.dump('example_mdd_v.pdf')
但是自动机没有这样的方法。