jtabwbx.modal.btformula

Class BTModalFormulaFactory

java.lang.Object

jtabwbx.modal.btformula.BTModalFormulaFactory

public class BTModalFormulaFactory
extends java.lang.Object

Factory for modal formulas.

Author:

Mauro Ferrari

Field Summary

Fields

Modifier and Type	Field and Description
static BTModalFormulaProposition	FALSE
static BTModalFormulaProposition	TRUE

Constructor Summary

Constructors

Constructor and Description
BTModalFormulaFactory()

Method Summary

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()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

FALSE

public static final BTModalFormulaProposition FALSE

TRUE

public static final BTModalFormulaProposition TRUE

Constructor Detail

BTModalFormulaFactory

public BTModalFormulaFactory()

Method Detail

buildAtomic

public BTModalFormula buildAtomic(java.lang.String name)

buildCompound

public BTModalFormula buildCompound(ModalConnective mainConnective,
                                    BTModalFormula... subformulas)

buildFrom

public BTModalFormula buildFrom(org.antlr.v4.runtime.tree.ParseTree parseTree)

getDescription

public java.lang.String getDescription()