Package owl.ltl

Class UnaryModalOperator

    • Field Detail

      • operand

        public final Formula operand
    • Method Detail

      • getOperand

        public Formula getOperand()
      • getOperator

        public abstract String getOperator()
      • 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.