Package owl.factories
Interface FactorySupplier
-
- All Known Implementing Classes:
JBddSupplier
public interface FactorySupplier
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description EquivalenceClassFactory
getEquivalenceClassFactory(List<String> atomicPropositions)
default Factories
getFactories(List<String> atomicPropositions)
ValuationSetFactory
getValuationSetFactory(List<String> atomicPropositions)
-
-
-
Method Detail
-
getValuationSetFactory
ValuationSetFactory getValuationSetFactory(List<String> atomicPropositions)
-
getEquivalenceClassFactory
EquivalenceClassFactory getEquivalenceClassFactory(List<String> atomicPropositions)
-
-