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 FactorySupplier
async()
EquivalenceClassFactory
getEquivalenceClassFactory(List<String> atomicPropositions)
ValuationSetFactory
getValuationSetFactory(List<String> atomicPropositions)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.factories.FactorySupplier
getFactories
-
-
-
-
Method Detail
-
async
public static FactorySupplier async()
-
getEquivalenceClassFactory
public EquivalenceClassFactory getEquivalenceClassFactory(List<String> atomicPropositions)
- Specified by:
getEquivalenceClassFactory
in interfaceFactorySupplier
-
getValuationSetFactory
public ValuationSetFactory getValuationSetFactory(List<String> atomicPropositions)
- Specified by:
getValuationSetFactory
in interfaceFactorySupplier
-
-