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> alphabet)
EquivalenceClassFactory
getEquivalenceClassFactory(List<String> alphabet, boolean keepRepresentatives)
Factories
getFactories(List<String> alphabet)
default Factories
getFactories(List<String> alphabet, boolean keepRepresentatives)
ValuationSetFactory
getValuationSetFactory(List<String> alphabet)
-
-
-
Method Detail
-
getValuationSetFactory
ValuationSetFactory getValuationSetFactory(List<String> alphabet)
-
getEquivalenceClassFactory
EquivalenceClassFactory getEquivalenceClassFactory(List<String> alphabet)
-
getEquivalenceClassFactory
EquivalenceClassFactory getEquivalenceClassFactory(List<String> alphabet, boolean keepRepresentatives)
-
-