Package owl.bdd
Interface FactorySupplier
-
- All Known Implementing Classes:
JBddSupplier
public interface FactorySupplier
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description static FactorySupplierdefaultSupplier()BddSetFactorygetBddSetFactory()default EquivalenceClassFactorygetEquivalenceClassFactory(List<String> atomicPropositions)EquivalenceClassFactorygetEquivalenceClassFactory(List<String> atomicPropositions, EquivalenceClassFactory.Encoding defaultEncoding)default FactoriesgetFactories(List<String> atomicPropositions)default FactoriesgetFactories(List<String> atomicPropositions, EquivalenceClassFactory.Encoding defaultEncoding)
-
-
-
Method Detail
-
defaultSupplier
static FactorySupplier defaultSupplier()
-
getBddSetFactory
BddSetFactory getBddSetFactory()
-
getEquivalenceClassFactory
default EquivalenceClassFactory getEquivalenceClassFactory(List<String> atomicPropositions)
-
getEquivalenceClassFactory
EquivalenceClassFactory getEquivalenceClassFactory(List<String> atomicPropositions, EquivalenceClassFactory.Encoding defaultEncoding)
-
getFactories
default Factories getFactories(List<String> atomicPropositions, EquivalenceClassFactory.Encoding defaultEncoding)
-
-