Package owl.factories
-
Interface Summary Interface Description EquivalenceClassFactory FactorySupplier ValuationSetFactory -
Class Summary Class Description Factories PropositionVisitor For the propositional view on LTL modal operators (F, G, U, X) and literals (a, !a) are treated as propositions.