Package owl.ltl

Class Formula.PropositionalOperator

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.PropositionalOperator

All Implemented Interfaces:

Comparable<Formula>

Direct Known Subclasses:

Biconditional, BooleanConstant, Formula.NaryPropositionalOperator, Literal, Negation

Enclosing class:

Formula

public abstract static class Formula.PropositionalOperator
extends Formula

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	unfold()

Methods inherited from class owl.ltl.Formula

accept, accept, accept, allMatch, anyMatch, atomicPropositions, compareTo, compareValue, equals, equalsValue, hashCode, height, isPureEventual, isPureUniversal, isSuspendable, nnf, not, subformulas, subformulas, subformulas, substitute, temporalStep

Methods inherited from class java.lang.Object

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

Method Detail

unfold

public final Formula unfold()

Specified by:

unfold in class Formula