public abstract class BTModalFormula extends java.lang.Object implements _ModalFormula
Constructor and Description |
---|
BTModalFormula() |
Modifier and Type | Method and Description |
---|---|
abstract BTModalFormula |
convertToCNF() |
static void |
forceParenthesis(boolean force)
If
force is true all the subformulas are
parenthesised when the string description of the formula is generated. |
java.lang.String |
format()
Returns the string representation of the formula
|
abstract BTModalFormula[] |
immediateSubformulas()
The immediate subformulas of this formula.
|
abstract boolean |
isAtomic()
Returns
true iff this formula is atomic. |
abstract boolean |
isCompound()
Returns
true iff this formula is compound. |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
mainConnective
shortName
public abstract boolean isAtomic()
_ModalFormula
true
iff this formula is atomic.isAtomic
in interface _ModalFormula
true
iff this formula is atomic.public abstract boolean isCompound()
_ModalFormula
true
iff this formula is compound.isCompound
in interface _ModalFormula
true
iff this formula is compound.public static void forceParenthesis(boolean force)
force
is true
all the subformulas are
parenthesised when the string description of the formula is generated.force
- if true
all subformulas are parenthesized.public java.lang.String format()
_AbstractFormula
format
in interface _AbstractFormula
public abstract BTModalFormula convertToCNF()
public abstract BTModalFormula[] immediateSubformulas()
_ModalFormula
immediateSubformulas
in interface _ModalFormula