Package owl.ltl
Class AbstractFormula
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- All Implemented Interfaces:
Formula
- Direct Known Subclasses:
Biconditional
,BinaryModalOperator
,Literal
,PropositionalFormula
,UnaryModalOperator
public abstract class AbstractFormula extends Object implements Formula
-
-
Constructor Summary
Constructors Constructor Description AbstractFormula()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
protected abstract boolean
equals2(AbstractFormula o)
int
hashCode()
protected abstract int
hashCodeOnce()
-
Methods inherited from interface owl.ltl.Formula
accept, accept, accept, allMatch, anyMatch, isPureEventual, isPureUniversal, isSuspendable, nnf, not, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep
-
-