jtabwbx.modal.basic

Enum ModalFormulaType

java.lang.Object

java.lang.Enum<ModalFormulaType>

jtabwbx.modal.basic.ModalFormulaType

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ModalFormulaType>

public enum ModalFormulaType
extends java.lang.Enum<ModalFormulaType>

The types of propositional formulas represented by formulas implemented by ModalFormula. The type is determined by the main connective of the formula.

Author:

Mauro Ferrari

Enum Constant Summary

Enum Constants

Enum Constant and Description
AND_WFF Conjunctive formula.
ATOMIC_WFF Atomic formula.
BOX_WFF Box prefixed formula.
DIA_WFF Dia (diamond) prefixed formula.
EQ_WFF Equivalence formula.
IMPLIES_WFF Implicative formula.
NOT_WFF Negated formula.
OR_WFF Disjunctive formula.

Method Summary

Modifier and Type	Method and Description
static ModalFormulaType	getFormulaType(ModalFormula wff) Returns the type for the specified formula.
static ModalFormulaType	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ModalFormulaType[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ATOMIC_WFF

public static final ModalFormulaType ATOMIC_WFF

Atomic formula.

AND_WFF

public static final ModalFormulaType AND_WFF

Conjunctive formula.

OR_WFF

public static final ModalFormulaType OR_WFF

Disjunctive formula.

IMPLIES_WFF

public static final ModalFormulaType IMPLIES_WFF

Implicative formula.

NOT_WFF

public static final ModalFormulaType NOT_WFF

Negated formula.

EQ_WFF

public static final ModalFormulaType EQ_WFF

Equivalence formula.

BOX_WFF

public static final ModalFormulaType BOX_WFF

Box prefixed formula.

DIA_WFF

public static final ModalFormulaType DIA_WFF

Dia (diamond) prefixed formula.

Method Detail

values

public static ModalFormulaType[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (ModalFormulaType c : ModalFormulaType.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static ModalFormulaType valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getFormulaType

public static ModalFormulaType getFormulaType(ModalFormula wff)

Returns the type for the specified formula.

Parameters:

wff - the formula.

Returns:

the type of the formula.