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 booleanequals(Object o)protected abstract booleanequals2(AbstractFormula o)inthashCode()protected abstract inthashCodeOnce()-
Methods inherited from interface owl.ltl.Formula
accept, accept, accept, allMatch, anyMatch, isPureEventual, isPureUniversal, isSuspendable, nnf, not, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep
-
-