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
| Interface | Description |
|---|---|
| EquivalenceClassFactory |
A factory for creating propositional equivalence classes for LTL formulas.
|
| FactorySupplier | |
| ValuationSetFactory |
| Class | Description |
|---|---|
| Factories |