Package owl.bdd
-
Interface Summary Interface Description BddSet Symbolic representation of aSet<BitSet>.BddSetFactory EquivalenceClassFactory A factory for creating propositional equivalence classes for LTL formulas.FactorySupplier -
Class Summary Class Description Factories MtBdd<E> A multi-terminal binary decision diagram (MTBDD).MtBdd.Leaf<E> MtBdd.Node<E> MtBddOperations This class provides operations for MTBDDs. -
Enum Summary Enum Description EquivalenceClassFactory.Encoding