Interface BddNodeConsumer


public interface BddNodeConsumer
Consumer that receives every node in a Bdd.
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    accept(int var, int high, int low)
    Receives a BDD node.
  • Method Details

    • accept

      void accept(int var, int high, int low)
      Receives a BDD node.
      Parameters:
      var - Variable.
      high - High reference.
      low - Low reference.