Package owl.ltl

Class Formula.BinaryTemporalOperator

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.TemporalOperator

owl.ltl.Formula.BinaryTemporalOperator

All Implemented Interfaces:

Comparable<Formula>

Direct Known Subclasses:

MOperator, ROperator, UOperator, WOperator

Enclosing class:

Formula

public abstract static class Formula.BinaryTemporalOperator
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
boolean	isPureEventual()
boolean	isPureUniversal()
Formula	leftOperand()
Formula	rightOperand()
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, isSuspendable, nnf, not, subformulas, subformulas, subformulas, unfold

Methods inherited from class java.lang.Object

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

Method Detail

isPureEventual

public final boolean isPureEventual()

Specified by:

isPureEventual in class Formula

isPureUniversal

public final boolean isPureUniversal()

Specified by:

isPureUniversal in class Formula

toString

public final String toString()

Overrides:

toString in class Object

leftOperand

public Formula leftOperand()

rightOperand

public Formula rightOperand()