JBDDProviderFactory (jreliability v2.0 API)

java.lang.Object
- org.jreliability.bdd.javabdd.JBDDProviderFactory

All Implemented Interfaces:

BDDProviderFactory
```
public class JBDDProviderFactory
extends java.lang.Object
implements BDDProviderFactory
```
The JBDDProviderFactory is a BDDProviderFactory for the JavaBDD library.

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class JBDDProviderFactory.Type
The JBDDProviderFactory.Type of real BDD implementation.

Field Summary

Fields
Modifier and Type	Field	Description
`protected static int`	`INITIAL_VARIABLES`	The number of initially allocated variables.
`protected static java.util.Map<JBDDProviderFactory.Type,JBDDProvider<?>>`	`staticProviders`	A map that provides each requested `JBDDProviderFactory.Type` of real `BDD` implementation with its specific `JBDDProvider`.
`protected JBDDProviderFactory.Type`	`type`	The used `JBDDProviderFactory.Type` of real `BDD` implementation.

Constructor Summary

Constructors
Constructor Description

JBDDProviderFactory()
Constructs a JBDDProviderFactory.

JBDDProviderFactory(JBDDProviderFactory.Type type)
Constructs a JBDDProviderFactory.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

<T> BDDProvider<T> getProvider()
Returns a BDDProvider.
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - type
```
protected final JBDDProviderFactory.Type type
```
    The used JBDDProviderFactory.Type of real BDD implementation.
  - INITIAL_VARIABLES
```
protected static final int INITIAL_VARIABLES
```
    The number of initially allocated variables.
    
    See Also:
    
    Constant Field Values
  - staticProviders
```
protected static java.util.Map<JBDDProviderFactory.Type,JBDDProvider<?>> staticProviders
```
    A map that provides each requested JBDDProviderFactory.Type of real BDD implementation with its specific JBDDProvider.
- Constructor Detail
  - JBDDProviderFactory
```
public JBDDProviderFactory()
```
    Constructs a JBDDProviderFactory.
  - JBDDProviderFactory
```
public JBDDProviderFactory(JBDDProviderFactory.Type type)
```
    Constructs a JBDDProviderFactory.
    
    Parameters:
    
    type - the type of bdd library
- Method Detail
  - getProvider
```
public <T> BDDProvider<T> getProvider()
```
    Description copied from interface: BDDProviderFactory
    
    Returns a BDDProvider.
    
    Specified by:
    
    getProvider in interface BDDProviderFactory
    
    Type Parameters:
    
    T - the type of variables
    
    Returns:
    
    a BDDProvider