Package org.jreliability.bdd

Interface BDDProvider<T>

Type Parameters:
T - the type of the variables
All Known Implementing Classes:
JBDDProvider
public interface BDDProvider<T>
The BDDProvider provides the actual BDDs for each component.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add(List<T> variables)
    Register variables in the specified order.
    void
    add(T... variables)
    Register variables in the specified order.
    T
    get(BDD<T> bdd)
    Returns the variable that is represented by the BDD.
    BDD<T>
    get(T variable)
    Returns the BDD that represents the variable.
    BDD<T>
    one()
    Returns the true or 1 BDD.
    BDD<T>
    zero()
    Returns the false or 0 BDD.

  • Method Details

    • add

      void add(List<T> variables)
      Register variables in the specified order.
      Parameters:
      variables - the variables to register

    • add

      void add(T... variables)
      Register variables in the specified order.
      Parameters:
      variables - the variables to register

    • zero

      BDD<T> zero()
      Returns the false or 0 BDD.
      Returns:
      the false or 0 BDD

    • one

      BDD<T> one()
      Returns the true or 1 BDD.
      Returns:
      the true or 1 BDD

    • get

      BDD<T> get(T variable)
      Returns the BDD that represents the variable.
      Parameters:
      variable - the variable
      Returns:
      the BDD that represents the Object

    • get

      T get(BDD<T> bdd)
      Returns the variable that is represented by the BDD.
      Parameters:
      bdd - the bdd
      Returns:
      the variable represented by the BDD