Iterating over the valid assignments of a bdd function

[almondtools]

Is there an example how to iterate over the different assignments in a BDD?

For Example (a,b,c being boolean variables in subsequent levels)

• a & b would be {(1,1)}
• a would be {(1,1),(1,0)}
• a & (b | c) would be {(1,0,1),(1,1,0),(1,1,1)}

I tried

• manually computing with cofactors - broken, probably because cofactors may a any variable in the bdd
• reading the docs on pick_cube - it feels that it can turn a certain binding into a Vec<bool>, but not find it.