public class BTModalFormulaCompound extends BTModalFormula
Constructor and Description |
---|
BTModalFormulaCompound(ModalConnective mainConnective,
BTModalFormula sub)
Build an instance of a compound formula with an unary main connective.
|
BTModalFormulaCompound(ModalConnective mainConnective,
BTModalFormula left,
BTModalFormula right)
Build an instance of a compound formula with a binary main connective.
|
Modifier and Type | Method and Description |
---|---|
BTModalFormula |
convertToCNF() |
BTModalFormula[] |
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.
|
java.lang.String |
shortName()
Returns the short name of the formula.
|
java.lang.String |
toString() |
forceParenthesis, format
public BTModalFormulaCompound(ModalConnective mainConnective, BTModalFormula left, BTModalFormula right)
mainConnective
- the connective of the formula.left
- the left sub-formula.right
- the right sub-formula.public BTModalFormulaCompound(ModalConnective mainConnective, BTModalFormula sub)
mainConnective
- the connective of the formula.sub
- the main sub-formula.public java.lang.String shortName()
_AbstractFormula
public BTModalFormula[] immediateSubformulas()
_ModalFormula
immediateSubformulas
in interface _ModalFormula
immediateSubformulas
in class BTModalFormula
public ModalConnective mainConnective()
_ModalFormula
public boolean isAtomic()
_ModalFormula
true
iff this formula is atomic.isAtomic
in interface _ModalFormula
isAtomic
in class BTModalFormula
true
iff this formula is atomic.public boolean isCompound()
_ModalFormula
true
iff this formula is compound.isCompound
in interface _ModalFormula
isCompound
in class BTModalFormula
true
iff this formula is compound.public BTModalFormula convertToCNF()
convertToCNF
in class BTModalFormula
public java.lang.String toString()
toString
in class java.lang.Object