org.openqed.struct.misc
Enum FormulaSummary.FieldId

java.lang.Object
  java.lang.Enum<FormulaSummary.FieldId>
      org.openqed.struct.misc.FormulaSummary.FieldId

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<FormulaSummary.FieldId>

Enclosing class:

FormulaSummary

public static enum FormulaSummary.FieldId
extends java.lang.Enum<FormulaSummary.FieldId>

Enum Constant Summary

ATOMIC_FORMULA_COUNT

AVERAGE_FORMULA_SIZE

AVERAGE_TERM_DEPTH

CONJUNCTION_COUNT

CONNECTIVE_COUNT

CONSTANT_FUNCTION_COUNT

CONVERSE_IMPLICATION_COUNT

DISJUNCTION_COUNT

EQUALITY_PREDICATE_FORMULA_COUNT

EQUIVALENCE_COUNT

EXISTENTIAL_VARIABLE_COUNT

FUNCTION_COUNT

IMPLICATION_COUNT

MAX_FORMULA_SIZE

MAX_FUNCTION_ARITY

MAX_PREDICATE_ARITY

MAX_TERM_DEPTH

MIN_FUNCTION_ARITY

MIN_PREDICATE_ARITY

NEGATED_CONJUNCTION_COUNT

NEGATED_DISJUNCTION_COUNT

NEGATED_EQUIVALENCE_COUNT

NEGATION_COUNT

NON_HORN_CNF_FORMULA_COUNT

PREDICATE_COUNT

PROPOSITION_PREDICATE_COUNT

RANGE_RESTRICTED_CNF_FORMULA_COUNT

ROOT_FORMULA_COUNT

ROOT_UNIT_FORMULA_COUNT

SINGLETON_VARIABLE_COUNT

UNIVERSAL_VARIABLE_COUNT

VARIABLE_COUNT

Method Summary

static FormulaSummary.FieldId	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static FormulaSummary.FieldId[]	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

ROOT_FORMULA_COUNT

public static final FormulaSummary.FieldId ROOT_FORMULA_COUNT

ROOT_UNIT_FORMULA_COUNT

public static final FormulaSummary.FieldId ROOT_UNIT_FORMULA_COUNT

NON_HORN_CNF_FORMULA_COUNT

public static final FormulaSummary.FieldId NON_HORN_CNF_FORMULA_COUNT

RANGE_RESTRICTED_CNF_FORMULA_COUNT

public static final FormulaSummary.FieldId RANGE_RESTRICTED_CNF_FORMULA_COUNT

ATOMIC_FORMULA_COUNT

public static final FormulaSummary.FieldId ATOMIC_FORMULA_COUNT

EQUALITY_PREDICATE_FORMULA_COUNT

public static final FormulaSummary.FieldId EQUALITY_PREDICATE_FORMULA_COUNT

MAX_FORMULA_SIZE

public static final FormulaSummary.FieldId MAX_FORMULA_SIZE

AVERAGE_FORMULA_SIZE

public static final FormulaSummary.FieldId AVERAGE_FORMULA_SIZE

CONNECTIVE_COUNT

public static final FormulaSummary.FieldId CONNECTIVE_COUNT

NEGATION_COUNT

public static final FormulaSummary.FieldId NEGATION_COUNT

DISJUNCTION_COUNT

public static final FormulaSummary.FieldId DISJUNCTION_COUNT

CONJUNCTION_COUNT

public static final FormulaSummary.FieldId CONJUNCTION_COUNT

EQUIVALENCE_COUNT

public static final FormulaSummary.FieldId EQUIVALENCE_COUNT

IMPLICATION_COUNT

public static final FormulaSummary.FieldId IMPLICATION_COUNT

CONVERSE_IMPLICATION_COUNT

public static final FormulaSummary.FieldId CONVERSE_IMPLICATION_COUNT

NEGATED_EQUIVALENCE_COUNT

public static final FormulaSummary.FieldId NEGATED_EQUIVALENCE_COUNT

NEGATED_DISJUNCTION_COUNT

public static final FormulaSummary.FieldId NEGATED_DISJUNCTION_COUNT

NEGATED_CONJUNCTION_COUNT

public static final FormulaSummary.FieldId NEGATED_CONJUNCTION_COUNT

PREDICATE_COUNT

public static final FormulaSummary.FieldId PREDICATE_COUNT

PROPOSITION_PREDICATE_COUNT

public static final FormulaSummary.FieldId PROPOSITION_PREDICATE_COUNT

MIN_PREDICATE_ARITY

public static final FormulaSummary.FieldId MIN_PREDICATE_ARITY

MAX_PREDICATE_ARITY

public static final FormulaSummary.FieldId MAX_PREDICATE_ARITY

FUNCTION_COUNT

public static final FormulaSummary.FieldId FUNCTION_COUNT

CONSTANT_FUNCTION_COUNT

public static final FormulaSummary.FieldId CONSTANT_FUNCTION_COUNT

MIN_FUNCTION_ARITY

public static final FormulaSummary.FieldId MIN_FUNCTION_ARITY

MAX_FUNCTION_ARITY

public static final FormulaSummary.FieldId MAX_FUNCTION_ARITY

VARIABLE_COUNT

public static final FormulaSummary.FieldId VARIABLE_COUNT

SINGLETON_VARIABLE_COUNT

public static final FormulaSummary.FieldId SINGLETON_VARIABLE_COUNT

UNIVERSAL_VARIABLE_COUNT

public static final FormulaSummary.FieldId UNIVERSAL_VARIABLE_COUNT

EXISTENTIAL_VARIABLE_COUNT

public static final FormulaSummary.FieldId EXISTENTIAL_VARIABLE_COUNT

MAX_TERM_DEPTH

public static final FormulaSummary.FieldId MAX_TERM_DEPTH

AVERAGE_TERM_DEPTH

public static final FormulaSummary.FieldId AVERAGE_TERM_DEPTH

Method Detail

values

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

Returns:

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

valueOf

public static FormulaSummary.FieldId 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