Package owl.factories.jbdd
Class JBddSupplier
- java.lang.Object
-
- owl.factories.jbdd.JBddSupplier
-
- All Implemented Interfaces:
FactorySupplier
public final class JBddSupplier extends Object implements FactorySupplier
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static FactorySupplierasync(boolean keepRepresentativesDefault)EquivalenceClassFactorygetEquivalenceClassFactory(List<String> alphabet)EquivalenceClassFactorygetEquivalenceClassFactory(List<String> alphabet, boolean keepRepresentatives)FactoriesgetFactories(List<String> alphabet)ValuationSetFactorygetValuationSetFactory(List<String> alphabet)-
Methods inherited from interface owl.factories.FactorySupplier
getFactories, isThreadSafe
-
-
-
-
Method Detail
-
async
public static FactorySupplier async(boolean keepRepresentativesDefault)
-
getEquivalenceClassFactory
public EquivalenceClassFactory getEquivalenceClassFactory(List<String> alphabet)
- Specified by:
getEquivalenceClassFactoryin interfaceFactorySupplier
-
getEquivalenceClassFactory
public EquivalenceClassFactory getEquivalenceClassFactory(List<String> alphabet, boolean keepRepresentatives)
- Specified by:
getEquivalenceClassFactoryin interfaceFactorySupplier
-
getFactories
public Factories getFactories(List<String> alphabet)
- Specified by:
getFactoriesin interfaceFactorySupplier
-
getValuationSetFactory
public ValuationSetFactory getValuationSetFactory(List<String> alphabet)
- Specified by:
getValuationSetFactoryin interfaceFactorySupplier
-
-