public class BTModalFormulaFactory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static BTModalFormulaProposition |
FALSE |
static BTModalFormulaProposition |
TRUE |
Constructor and Description |
---|
BTModalFormulaFactory() |
Modifier and Type | Method and Description |
---|---|
BTModalFormula |
buildAtomic(java.lang.String name) |
BTModalFormula |
buildCompound(ModalConnective mainConnective,
BTModalFormula... subformulas) |
BTModalFormula |
buildFrom(org.antlr.v4.runtime.tree.ParseTree parseTree) |
java.lang.String |
getDescription() |
public static final BTModalFormulaProposition FALSE
public static final BTModalFormulaProposition TRUE
public BTModalFormula buildAtomic(java.lang.String name)
public BTModalFormula buildCompound(ModalConnective mainConnective, BTModalFormula... subformulas)
public BTModalFormula buildFrom(org.antlr.v4.runtime.tree.ParseTree parseTree)
public java.lang.String getDescription()