jtabwbx.prop.basic

Interface _PropositionalFormula

All Superinterfaces:

_AbstractFormula

All Known Implementing Classes:

BTFormula, BTFormulaCompound, BTFormulaProposition, Formula, FormulaProposition

public interface _PropositionalFormula
extends _AbstractFormula

Interface describing propositional formulas on the set of connecetives PropositionalConnective.

Author:

Mauro Ferrari

Method Summary

Modifier and Type	Method and Description
_PropositionalFormula[]	immediateSubformulas() The immediate subformulas of this formula.
boolean	isAtomic() Returns true iff this formula is atomic.
boolean	isCompound() Returns true iff this formula is compound.
PropositionalConnective	mainConnective() The main logical operator of this formula.

Methods inherited from interface jtabwb.engine._AbstractFormula

format, shortName

Method Detail

isAtomic

boolean isAtomic()

Returns true iff this formula is atomic.

Returns:

true iff this formula is atomic.

isCompound

boolean isCompound()

Returns true iff this formula is compound.

Returns:

true iff this formula is compound.

mainConnective

PropositionalConnective mainConnective()

The main logical operator of this formula.

Returns:

the main connective of this formula.

immediateSubformulas

_PropositionalFormula[] immediateSubformulas()

The immediate subformulas of this formula.

Returns:

the subformulas of this formula.