public class BTModalFormulaProposition extends BTModalFormula
Modifier and Type | Field and Description |
---|---|
static BTModalFormulaProposition |
FALSE
The formula representing the FALSE constant, its name is
"false" . |
static BTModalFormulaProposition |
TRUE
The formula representing the true constant, its name is
"true" . |
Constructor and Description |
---|
BTModalFormulaProposition(java.lang.String name)
Builds the atomic formula with the specified name.
|
Modifier and Type | Method and Description |
---|---|
BTModalFormula |
convertToCNF() |
boolean |
equals(BTModalFormulaProposition prop)
Returns
true iff this formula proposition and the one
referenced by prop have the same name. |
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getName() |
int |
hashCode() |
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 static final BTModalFormulaProposition TRUE
"true"
.public static final BTModalFormulaProposition FALSE
"false"
.public BTModalFormulaProposition(java.lang.String name)
name
- the name of the propositional variablepublic 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 java.lang.String getName()
public ModalConnective mainConnective()
_ModalFormula
public BTModalFormula[] immediateSubformulas()
_ModalFormula
immediateSubformulas
in interface _ModalFormula
immediateSubformulas
in class BTModalFormula
public java.lang.String shortName()
_AbstractFormula
public boolean equals(BTModalFormulaProposition prop)
true
iff this formula proposition and the one
referenced by prop
have the same name.prop
- the other formula proposition.public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public BTModalFormula convertToCNF()
convertToCNF
in class BTModalFormula