jtabwbx.prop.basic

Enum FormulaType

java.lang.Object

java.lang.Enum<FormulaType>

jtabwbx.prop.basic.FormulaType

All Implemented Interfaces:

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

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

The types of propositional formulas represented by formulas implemented by Formula. 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.
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 FormulaType	getFormulaType(_PropositionalFormula wff) Returns the type for the specified formula.
static FormulaType	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static FormulaType[]	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 FormulaType ATOMIC_WFF

Atomic formula.

AND_WFF

public static final FormulaType AND_WFF

Conjunctive formula.

OR_WFF

public static final FormulaType OR_WFF

Disjunctive formula.

IMPLIES_WFF

public static final FormulaType IMPLIES_WFF

Implicative formula.

NOT_WFF

public static final FormulaType NOT_WFF

Negated formula.

EQ_WFF

public static final FormulaType EQ_WFF

Equivalence formula.

Method Detail

values

public static FormulaType[] 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 (FormulaType c : FormulaType.values())
    System.out.println(c);

Returns:

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

valueOf

public static FormulaType 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 FormulaType getFormulaType(_PropositionalFormula wff)

Returns the type for the specified formula.

Parameters:

wff - the formula.

Returns:

the type of the formula.