Package org.jreliability.bdd

Interface BDDProviderFactory

All Known Implementing Classes:

JBDDProviderFactory

public interface BDDProviderFactory

The BDDProviderFactory creates BDDProviders.

Method Summary

Modifier and Type	Method	Description
<T> BDDProvider<T>	getProvider()	Returns a BDDProvider.

Method Details

getProvider

<T> BDDProvider<T> getProvider()

Returns a BDDProvider.

Type Parameters:

T - the type of variables

Returns:

a BDDProvider