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.
-