Interface BddNodeConsumer
public interface BddNodeConsumer
Consumer that receives every node in a
Bdd
.-
Method Summary
-
Method Details
-
accept
void accept(int var, int high, int low) Receives a BDD node.- Parameters:
var
- Variable.high
- High reference.low
- Low reference.
-