jtabwbx.modal.btformula

Class BTModalFormula

java.lang.Object

jtabwbx.modal.btformula.BTModalFormula

All Implemented Interfaces:

_AbstractFormula, _ModalFormula

Direct Known Subclasses:

BTModalFormulaCompound, BTModalFormulaProposition

public abstract class BTModalFormula
extends java.lang.Object
implements _ModalFormula

The root class for parsed formulas implementation.

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
BTModalFormula()

Method Summary

Modifier and Type	Method and Description
abstract BTModalFormula	convertToCNF()
static void	forceParenthesis(boolean force) If force is true all the subformulas are parenthesised when the string description of the formula is generated.
java.lang.String	format() Returns the string representation of the formula
abstract BTModalFormula[]	immediateSubformulas() The immediate subformulas of this formula.
abstract boolean	isAtomic() Returns true iff this formula is atomic.
abstract boolean	isCompound() Returns true iff this formula is compound.

Methods inherited from class java.lang.Object

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

Methods inherited from interface jtabwbx.modal.basic._ModalFormula

mainConnective

Methods inherited from interface jtabwb.engine._AbstractFormula

shortName

Constructor Detail

BTModalFormula

public BTModalFormula()

Method Detail

isAtomic

public abstract boolean isAtomic()

Description copied from interface: _ModalFormula

Returns true iff this formula is atomic.

Specified by:

isAtomic in interface _ModalFormula

Returns:

true iff this formula is atomic.

isCompound

public abstract boolean isCompound()

Description copied from interface: _ModalFormula

Returns true iff this formula is compound.

Specified by:

isCompound in interface _ModalFormula

Returns:

true iff this formula is compound.

forceParenthesis

public static void forceParenthesis(boolean force)

If force is true all the subformulas are parenthesised when the string description of the formula is generated.

Parameters:

force - if true all subformulas are parenthesized.

format

public java.lang.String format()

Description copied from interface: _AbstractFormula

Returns the string representation of the formula

Specified by:

format in interface _AbstractFormula

Returns:

the string describing the formula

convertToCNF

public abstract BTModalFormula convertToCNF()

immediateSubformulas

public abstract BTModalFormula[] immediateSubformulas()

Description copied from interface: _ModalFormula

The immediate subformulas of this formula.

Specified by:

immediateSubformulas in interface _ModalFormula

Returns:

the subformulas of this formula.