Package owl.ltl
Class PropositionalFormula
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.PropositionalFormula
-
- All Implemented Interfaces:
Formula
- Direct Known Subclasses:
Conjunction,Disjunction
public abstract class PropositionalFormula extends AbstractFormula
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleanallMatch(Predicate<Formula> p)booleananyMatch(Predicate<Formula> p)booleanequals2(AbstractFormula o)voidforEach(Consumer<Formula> consumer)protected abstract chargetOperator()booleanisPureEventual()booleanisPureUniversal()booleanisSuspendable()<T> Stream<T>map(Function<Formula,T> mapper)static FormulashortCircuit(Formula formula)StringtoString()-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode, hashCodeOnce
-
Methods inherited from interface owl.ltl.Formula
accept, accept, accept, nnf, not, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep
-
-
-
-
Method Detail
-
equals2
public boolean equals2(AbstractFormula o)
- Specified by:
equals2in classAbstractFormula
-
getOperator
protected abstract char getOperator()
-
isPureEventual
public boolean isPureEventual()
-
isPureUniversal
public boolean isPureUniversal()
-
isSuspendable
public boolean isSuspendable()
-
-