jtabwbx.modal.basic

Interface _ModalFormula

All Superinterfaces:

_AbstractFormula

All Known Implementing Classes:

BTModalFormula, BTModalFormulaCompound, BTModalFormulaProposition, ModalFormula, ModalFormulaProposition

public interface _ModalFormula
extends _AbstractFormula

Interface describing modal formulas on the set of connectives ModalConnective.

Author:

Mauro Ferrari

Method Summary

Modifier and Type	Method and Description
_ModalFormula[]	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.
ModalConnective	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

ModalConnective mainConnective()

The main logical operator of this formula.

Returns:

the main connective of this formula.

immediateSubformulas

_ModalFormula[] immediateSubformulas()

The immediate subformulas of this formula.

Returns:

the subformulas of this formula.