Package owl.factories
-
Interface Summary Interface Description EquivalenceClassFactory A factory for creating propositional equivalence classes for LTL formulas.FactorySupplier ValuationSetFactory -
Class Summary Class Description Factories