Package owl.bdd

Interface FactorySupplier

All Known Implementing Classes:

JBddSupplier

public interface FactorySupplier

Method Summary

Modifier and Type	Method	Description
static FactorySupplier	defaultSupplier()
BddSetFactory	getBddSetFactory()
default EquivalenceClassFactory	getEquivalenceClassFactory(List<String> atomicPropositions)
EquivalenceClassFactory	getEquivalenceClassFactory(List<String> atomicPropositions, EquivalenceClassFactory.Encoding defaultEncoding)
default Factories	getFactories(List<String> atomicPropositions)
default Factories	getFactories(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)

getFactories

default Factories getFactories(List<String> atomicPropositions,
                               EquivalenceClassFactory.Encoding defaultEncoding)