jtabwbx.prop.btformula

Class BTPropositionalFormulaFactory

java.lang.Object

jtabwbx.prop.btformula.BTPropositionalFormulaFactory

public class BTPropositionalFormulaFactory
extends java.lang.Object

Factory for this implementation of propositional formulas based on the set of logical connectives specified by PropositionalConnective.

Author:

Mauro Ferrari

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
BTPropositionalFormulaFactory()

Method Summary

Modifier and Type	Method and Description
BTFormula	buildAtomic(java.lang.String name)
BTFormula	buildCompound(PropositionalConnective mainConnective, BTFormula... subformulas)
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 BTFormulaProposition FALSE

TRUE

public static final BTFormulaProposition TRUE

Constructor Detail

BTPropositionalFormulaFactory

public BTPropositionalFormulaFactory()

Method Detail

buildAtomic

public BTFormula buildAtomic(java.lang.String name)

buildCompound

public BTFormula buildCompound(PropositionalConnective mainConnective,
                               BTFormula... subformulas)

getDescription

public java.lang.String getDescription()