JBddSupplier
public interface FactorySupplier
Modifier and Type | Method | Description |
---|---|---|
EquivalenceClassFactory |
getEquivalenceClassFactory(java.util.List<java.lang.String> alphabet) |
|
default EquivalenceClassFactory |
getEquivalenceClassFactory(LabelledFormula formula) |
|
default Factories |
getFactories(java.util.List<java.lang.String> alphabet) |
|
default Factories |
getFactories(LabelledFormula formula) |
|
ValuationSetFactory |
getValuationSetFactory(java.util.List<java.lang.String> alphabet) |
|
default boolean |
isThreadSafe() |
default EquivalenceClassFactory getEquivalenceClassFactory(LabelledFormula formula)
EquivalenceClassFactory getEquivalenceClassFactory(java.util.List<java.lang.String> alphabet)
default Factories getFactories(LabelledFormula formula)
default Factories getFactories(java.util.List<java.lang.String> alphabet)
ValuationSetFactory getValuationSetFactory(java.util.List<java.lang.String> alphabet)
default boolean isThreadSafe()