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