public interface _ModalFormula extends _AbstractFormula
ModalConnective
.Modifier and Type | Method and Description |
---|---|
_ModalFormula[] |
immediateSubformulas()
The immediate subformulas of this formula.
|
boolean |
isAtomic()
Returns
true iff this formula is atomic. |
boolean |
isCompound()
Returns
true iff this formula is compound. |
ModalConnective |
mainConnective()
The main logical operator of this formula.
|
format, shortName
boolean isAtomic()
true
iff this formula is atomic.true
iff this formula is atomic.boolean isCompound()
true
iff this formula is compound.true
iff this formula is compound.ModalConnective mainConnective()
_ModalFormula[] immediateSubformulas()