public final class ModalFormulaProposition extends ModalFormula
Modifier and Type | Method and Description |
---|---|
boolean |
containsFalse()
Returns
true iff this formula contains the propositional
constant FALSE as subformula. |
boolean |
containsProposition(ModalFormulaProposition proposition)
Returns
true iff this formula contains the specified
propositional formula as subformula. |
boolean |
containsTrue()
Returns
true iff this formula contains the propositional
constant TRUE as subfromula. |
boolean |
equals(java.lang.Object other) |
java.lang.String |
format()
Returns the string representation of the formula
|
ModalFormulaFactory |
getFactory()
Returns the factory used to build this formula.
|
ModalFormulaType |
getFormulaType()
Returns the formula type of this formula.
|
java.lang.String |
getName() |
int |
hashCode() |
ModalFormula[] |
immediateSubformulas()
The subformulas of this formula.
|
boolean |
isAtomic()
Returns
true iff this formula is atomic. |
boolean |
isCompound()
Returns
true iff this formula is compound. |
boolean |
isFalse()
Returns
true iff this propositional formula represents FALSE. |
boolean |
isTrue()
Returns
true iff this propositional formula represents TRUE. |
ModalConnective |
mainConnective()
The main logical operator of this formula.
|
java.lang.String |
shortName()
Returns the short name of the formula.
|
java.lang.String |
toString() |
getIndex, size
public ModalFormulaFactory getFactory()
ModalFormula
getFactory
in class ModalFormula
public java.lang.String getName()
public java.lang.String shortName()
_AbstractFormula
public boolean isAtomic()
_ModalFormula
true
iff this formula is atomic.true
iff this formula is atomic.public boolean isCompound()
_ModalFormula
true
iff this formula is compound.true
iff this formula is compound.public ModalConnective mainConnective()
_ModalFormula
public ModalFormula[] immediateSubformulas()
ModalFormula
immediateSubformulas
in interface _ModalFormula
immediateSubformulas
in class ModalFormula
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public java.lang.String format()
_AbstractFormula
public java.lang.String toString()
toString
in class java.lang.Object
public boolean containsProposition(ModalFormulaProposition proposition)
ModalFormula
true
iff this formula contains the specified
propositional formula as subformula.proposition
- the formula proposition.true
iff this formula contains the specified
proposition.public boolean containsTrue()
ModalFormula
true
iff this formula contains the propositional
constant TRUE as subfromula.containsTrue
in class ModalFormula
true
iff this formula contains the propositional
constant TRUE.public boolean containsFalse()
ModalFormula
true
iff this formula contains the propositional
constant FALSE as subformula.containsFalse
in class ModalFormula
true
iff this formula contains the propositional
constant FALSE.public boolean isFalse()
true
iff this propositional formula represents FALSE.isFalse
in class ModalFormula
true
iff this propositional formula represents FALSE.public boolean isTrue()
true
iff this propositional formula represents TRUE.isTrue
in class ModalFormula
true
iff this propositional formula represents TRUE.public ModalFormulaType getFormulaType()
ModalFormula
getFormulaType
in class ModalFormula