Cudd.Convert

fromImperativeNode

fromImperativeManager

toImperativeNode

toImperativeManager