Package owl.ltl

Class Formula.UnaryTemporalOperator

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.TemporalOperator

owl.ltl.Formula.UnaryTemporalOperator

All Implemented Interfaces:

Comparable<Formula>

Direct Known Subclasses:

FOperator, GOperator, XOperator

Enclosing class:

Formula

public abstract static class Formula.UnaryTemporalOperator
extends Formula.TemporalOperator

Nested Class Summary

Nested classes/interfaces inherited from class owl.ltl.Formula

Formula.BinaryTemporalOperator, Formula.NaryPropositionalOperator, Formula.PropositionalOperator, Formula.TemporalOperator, Formula.UnaryTemporalOperator

Field Summary

Fields inherited from class owl.ltl.Formula

operands

Method Summary

Modifier and Type	Method	Description
Formula	operand()
String	toString()

Methods inherited from class owl.ltl.Formula.TemporalOperator

compareValue, equalsValue, operatorSymbol, substitute, temporalStep

Methods inherited from class owl.ltl.Formula

accept, accept, accept, allMatch, anyMatch, atomicPropositions, compareTo, equals, hashCode, height, isPureEventual, isPureUniversal, isSuspendable, nnf, not, subformulas, subformulas, subformulas, unfold

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString()

Overrides:

toString in class Object

operand

public Formula operand()