Function Cudd_zddForeachPath 

pub unsafe fn Cudd_zddForeachPath<F: FnMut(*mut c_int)>(
    manager: *mut DdManager,
    f: *mut DdNode,
    action: F,
)

Iterates over the paths of a ZDD f.

Safety

The path is freed at the end of Cudd_zddForeachPath and hence is not available outside of the loop.

CAUTION: It is assumed that dynamic reordering will not occur while there are open generators. It is the user’s responsibility to make sure that dynamic reordering does not occur. As long as new nodes are not created during generation, and dynamic reordering is not called explicitly, dynamic reordering will not occur. Alternatively, it is sufficient to disable dynamic reordering. It is a mistake to dispose of a diagram on which generation is ongoing.