FactorySupplier
public final class JBddSupplier extends java.lang.Object implements FactorySupplier
Modifier and Type | Method | Description |
---|---|---|
static FactorySupplier |
async() |
|
EquivalenceClassFactory |
getEquivalenceClassFactory(java.util.List<java.lang.String> alphabet) |
|
ValuationSetFactory |
getValuationSetFactory(java.util.List<java.lang.String> alphabet) |
|
static FactorySupplier |
sync() |
getEquivalenceClassFactory, getFactories, getFactories, isThreadSafe
public static FactorySupplier async()
public static FactorySupplier sync()
public EquivalenceClassFactory getEquivalenceClassFactory(java.util.List<java.lang.String> alphabet)
getEquivalenceClassFactory
in interface FactorySupplier
public ValuationSetFactory getValuationSetFactory(java.util.List<java.lang.String> alphabet)
getValuationSetFactory
in interface FactorySupplier