Package owl.ltl

Class Formula.NaryPropositionalOperator

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.PropositionalOperator

owl.ltl.Formula.NaryPropositionalOperator

All Implemented Interfaces:

Comparable<Formula>

Direct Known Subclasses:

Conjunction, Disjunction

Enclosing class:

Formula

public abstract static class Formula.NaryPropositionalOperator
extends Formula.PropositionalOperator

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()
List<Formula>	map(UnaryOperator<Formula> mapper)
protected ArrayList<Formula>	mapInternal(UnaryOperator<Formula> mapper)
protected abstract String	operatorSymbol()
protected static List<? extends Formula>	sortedList(Set<? extends Formula> children)
String	toString()

Methods inherited from class owl.ltl.Formula.PropositionalOperator

unfold

Methods inherited from class owl.ltl.Formula

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

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

map

public final List<Formula> map(UnaryOperator<Formula> mapper)

toString

public final String toString()

Overrides:

toString in class Object

sortedList

protected static List<? extends Formula> sortedList(Set<? extends Formula> children)

mapInternal

protected final ArrayList<Formula> mapInternal(UnaryOperator<Formula> mapper)

operatorSymbol

protected abstract String operatorSymbol()