public class BTFormulaProposition extends BTFormula
Modifier and Type | Field and Description |
---|---|
static BTFormulaProposition |
FALSE
The formula representing the FALSE constant, its name is
"false" . |
static BTFormulaProposition |
TRUE
The formula representing the true constant, its name is
"true" . |
Constructor and Description |
---|
BTFormulaProposition(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Two propositional formulas are equals if they have the same name.
|
java.lang.String |
format()
Returns the string representation of the formula
|
java.lang.String |
getName() |
BTFormula[] |
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. |
PropositionalConnective |
mainConnective()
The main logical operator of this formula.
|
java.lang.String |
shortName()
Returns the short name of the formula.
|
java.lang.String |
toString()
Returns the string representation of the formula.
|
public static final BTFormulaProposition TRUE
"true"
.public static final BTFormulaProposition FALSE
"false"
.public boolean isAtomic()
_PropositionalFormula
true
iff this formula is atomic.true
iff this formula is atomic.public boolean isCompound()
_PropositionalFormula
true
iff this formula is compound.true
iff this formula is compound.public PropositionalConnective mainConnective()
_PropositionalFormula
mainConnective
in interface _PropositionalFormula
mainConnective
in class BTFormula
public BTFormula[] immediateSubformulas()
_PropositionalFormula
immediateSubformulas
in interface _PropositionalFormula
immediateSubformulas
in class BTFormula
public java.lang.String getName()
public java.lang.String shortName()
_AbstractFormula
public java.lang.String format()
_AbstractFormula
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
obj
- the object to compare with this propositional formula.true
if and only if the propositional formulas have
the same name.public java.lang.String toString()
toString
in class java.lang.Object