Package owl.ltl

Class BinaryModalOperator

    • Method Detail

      • getOperator

        public abstract char 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.