jtabwbx.modal.formula

Class ModalFormula

java.lang.Object

jtabwbx.modal.formula.ModalFormula

All Implemented Interfaces:

_AbstractFormula, _ModalFormula

Direct Known Subclasses:

ModalFormulaProposition

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

A modal formula.

Author:

Mauro Ferrari

Method Summary

Modifier and Type	Method and Description
abstract boolean	containsFalse() Returns true iff this formula contains the propositional constant FALSE as subformula.
abstract boolean	containsTrue() Returns true iff this formula contains the propositional constant TRUE as subfromula.
abstract ModalFormulaFactory	getFactory() Returns the factory used to build this formula.
abstract ModalFormulaType	getFormulaType() Returns the formula type of this formula.
int	getIndex() Returns the index for this formula.
abstract ModalFormula[]	immediateSubformulas() The subformulas of this formula.
abstract boolean	isFalse() Returns true iff this formula is the propositional constant FALSE.
abstract boolean	isTrue() Returns true iff this is the propositional constant TRUE.
int	size() Returns the size of this formula.

Methods inherited from class java.lang.Object

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

Methods inherited from interface jtabwbx.modal.basic._ModalFormula

isAtomic, isCompound, mainConnective

Methods inherited from interface jtabwb.engine._AbstractFormula

format, shortName

Method Detail

getIndex

public int getIndex()

Returns the index for this formula.

Returns:

the index of this formula.

immediateSubformulas

public abstract ModalFormula[] immediateSubformulas()

The subformulas of this formula.

Specified by:

immediateSubformulas in interface _ModalFormula

Returns:

the subformulas of this formula.

containsTrue

public abstract boolean containsTrue()

Returns true iff this formula contains the propositional constant TRUE as subfromula.

Returns:

true iff this formula contains the propositional constant TRUE.

containsFalse

public abstract boolean containsFalse()

Returns true iff this formula contains the propositional constant FALSE as subformula.

Returns:

true iff this formula contains the propositional constant FALSE.

isFalse

public abstract boolean isFalse()

Returns true iff this formula is the propositional constant FALSE.

Returns:

true iff this formula is the propositional constant FALSE.

isTrue

public abstract boolean isTrue()

Returns true iff this is the propositional constant TRUE.

Returns:

true iff this is the propositional constant TRUE.

getFactory

public abstract ModalFormulaFactory getFactory()

Returns the factory used to build this formula.

Returns:

the factory used to build this formula.

getFormulaType

public abstract ModalFormulaType getFormulaType()

Returns the formula type of this formula.

Returns:

the formula type.

size

public int size()

Returns the size of this formula.

Returns:

the size of this formula.