Package owl.ltl

Class Disjunction

    • Constructor Detail

      • Disjunction

        public Disjunction​(Formula... disjuncts)
      • Disjunction

        public Disjunction​(Stream<? extends Formula> formulaStream)
    • Method Detail

      • accept

        public <R> R accept​(Visitor<R> v)
      • accept

        public <A,B> A accept​(BinaryVisitor<B,A> v,
                              B parameter)
      • not

        public Formula not()
        Description copied from interface: Formula
        Syntactically negate this formula.

        If this formula is in NNF, the returned negation will also be in NNF.

        Returns:
        the negation of this formula.
      • temporalStep

        public Formula temporalStep​(BitSet valuation)
        Description copied from interface: Formula
        Do a single temporal step. This means that one layer of X-operators is removed and literals are replaced by their valuations.
      • temporalStepUnfold

        public Formula temporalStepUnfold​(BitSet valuation)
        Description copied from interface: Formula
        Short-cut operation to avoid intermediate construction of formula ASTs.
      • unfoldTemporalStep

        public Formula unfoldTemporalStep​(BitSet valuation)
        Description copied from interface: Formula
        Short-cut operation to avoid intermediate construction of formula ASTs.