public abstract class ModalFormula extends java.lang.Object implements _ModalFormula
Modifier and Type | Method and Description |
---|---|
abstract boolean |
containsFalse()
Returns
true iff this formula contains the propositional
constant FALSE as subformula. |
abstract boolean |
containsTrue()
Returns
true iff this formula contains the propositional
constant TRUE as subfromula. |
abstract ModalFormulaFactory |
getFactory()
Returns the factory used to build this formula.
|
abstract ModalFormulaType |
getFormulaType()
Returns the formula type of this formula.
|
int |
getIndex()
Returns the index for this formula.
|
abstract ModalFormula[] |
immediateSubformulas()
The subformulas of this formula.
|
abstract boolean |
isFalse()
Returns
true iff this formula is the propositional constant
FALSE. |
abstract boolean |
isTrue()
Returns
true iff this is the propositional constant TRUE. |
int |
size()
Returns the size of this formula.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAtomic, isCompound, mainConnective
format, shortName
public int getIndex()
public abstract ModalFormula[] immediateSubformulas()
immediateSubformulas
in interface _ModalFormula
public abstract boolean containsTrue()
true
iff this formula contains the propositional
constant TRUE as subfromula.true
iff this formula contains the propositional
constant TRUE.public abstract boolean containsFalse()
true
iff this formula contains the propositional
constant FALSE as subformula.true
iff this formula contains the propositional
constant FALSE.public abstract boolean isFalse()
true
iff this formula is the propositional constant
FALSE.true
iff this formula is the propositional constant
FALSE.public abstract boolean isTrue()
true
iff this is the propositional constant TRUE.true
iff this is the propositional constant TRUE.public abstract ModalFormulaFactory getFactory()
public abstract ModalFormulaType getFormulaType()
public int size()