Package owl.ltl

Class Formula.LogicalOperator

    • Method Detail

      • temporalStep

        public final Formula temporalStep​(int atom,
                                          boolean valuation)
        Specified by:
        temporalStep in class Formula
      • temporalStep

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

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

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