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
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleanisPureEventual()booleanisPureUniversal()List<Formula>map(UnaryOperator<Formula> mapper)protected ArrayList<Formula>mapInternal(UnaryOperator<Formula> mapper)protected abstract StringoperatorSymbol()protected static List<? extends Formula>sortedList(Set<? extends Formula> children)StringtoString()-
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
-
-
-
-
Method Detail
-
isPureEventual
public final boolean isPureEventual()
- Specified by:
isPureEventualin classFormula
-
isPureUniversal
public final boolean isPureUniversal()
- Specified by:
isPureUniversalin classFormula
-
map
public final List<Formula> map(UnaryOperator<Formula> mapper)
-
mapInternal
protected final ArrayList<Formula> mapInternal(UnaryOperator<Formula> mapper)
-
operatorSymbol
protected abstract String operatorSymbol()
-
-