BDDProviderFactory (jreliability v2.0 API)

All Known Implementing Classes:

JBDDProviderFactory
```
public interface BDDProviderFactory
```
The BDDProviderFactory creates BDDProviders.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  <T> BDDProvider<T> getProvider()
  Returns a BDDProvider.

- Method Detail
  - getProvider
```
<T> BDDProvider<T> getProvider()
```
    Returns a BDDProvider.
    
    Type Parameters:
    
    T - the type of variables
    
    Returns:
    
    a BDDProvider