BDDProvider (jreliability v2.0 API)

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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`add(java.util.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 Detail
  - add
```
void add(java.util.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