public class BTPropositionalFormulaFactory
extends java.lang.Object
PropositionalConnective
.Modifier and Type | Field and Description |
---|---|
static BTFormulaProposition |
FALSE |
static BTFormulaProposition |
TRUE |
Constructor and Description |
---|
BTPropositionalFormulaFactory() |
Modifier and Type | Method and Description |
---|---|
BTFormula |
buildAtomic(java.lang.String name) |
BTFormula |
buildCompound(PropositionalConnective mainConnective,
BTFormula... subformulas) |
java.lang.String |
getDescription() |
public static final BTFormulaProposition FALSE
public static final BTFormulaProposition TRUE
public BTFormula buildAtomic(java.lang.String name)
public BTFormula buildCompound(PropositionalConnective mainConnective, BTFormula... subformulas)
public java.lang.String getDescription()