jtabwbx.prop.btformula

Class BTFormula

java.lang.Object

jtabwbx.prop.btformula.BTFormula

All Implemented Interfaces:

_AbstractFormula, _PropositionalFormula

Direct Known Subclasses:

BTFormulaCompound, BTFormulaProposition

public abstract class BTFormula
extends java.lang.Object
implements _PropositionalFormula

A simple implementation of a formula as a binary tree. This is an abstract class providing the basic methods for a formula, the real implementation is given by one of the concrete subclasses of this class.

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
BTFormula()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Methods inherited from interface jtabwbx.prop.basic._PropositionalFormula

isAtomic, isCompound

Methods inherited from interface jtabwb.engine._AbstractFormula

format, shortName

Constructor Detail

BTFormula

public BTFormula()

Method Detail

mainConnective

public abstract PropositionalConnective mainConnective()

Description copied from interface: _PropositionalFormula

The main logical operator of this formula.

Specified by:

mainConnective in interface _PropositionalFormula

Returns:

the main connective of this formula.

immediateSubformulas

public abstract BTFormula[] immediateSubformulas()

Description copied from interface: _PropositionalFormula

The immediate subformulas of this formula.

Specified by:

immediateSubformulas in interface _PropositionalFormula

Returns:

the subformulas of this formula.