public abstract class BTFormula extends java.lang.Object implements _PropositionalFormula
Constructor and Description |
---|
BTFormula() |
Modifier and Type | Method and Description |
---|---|
abstract BTFormula[] |
immediateSubformulas()
The immediate subformulas of this formula.
|
abstract PropositionalConnective |
mainConnective()
The main logical operator of this formula.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAtomic, isCompound
format, shortName
public abstract PropositionalConnective mainConnective()
_PropositionalFormula
mainConnective
in interface _PropositionalFormula
public abstract BTFormula[] immediateSubformulas()
_PropositionalFormula
immediateSubformulas
in interface _PropositionalFormula