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 EquivalenceClassFactorygetEquivalenceClassFactory(List<String> alphabet)EquivalenceClassFactorygetEquivalenceClassFactory(List<String> alphabet, boolean keepRepresentatives)FactoriesgetFactories(List<String> alphabet)default FactoriesgetFactories(List<String> alphabet, boolean keepRepresentatives)ValuationSetFactorygetValuationSetFactory(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)
-
-