Package owl.factories

Class PropositionVisitor

  • All Implemented Interfaces:
    IntVisitor

    public final class PropositionVisitor
    extends Object
    implements IntVisitor
    For the propositional view on LTL modal operators (F, G, U, X) and literals (a, !a) are treated as propositions.