net.sf.tweety.logics.fol.syntax.tptp.fof

Enum TptpFofFormulaRole

java.lang.Object

java.lang.Enum<TptpFofFormulaRole>

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFormulaRole

All Implemented Interfaces:

Serializable, Comparable<TptpFofFormulaRole>

public enum TptpFofFormulaRole
extends Enum<TptpFofFormulaRole>

This class provides all tptp roles used within the tptp format. Currently only "axiom" and "conjecture" are used.

Author:

Bastian Wolf

Enum Constant Summary

Enum Constants

Enum Constant and Description
assumption
axiom
conjecture
definition
fi_domain
fi_functors
fi_predicates
hypothesis
lemma
negated_conjecture
plain
theorem
type
unknown

Method Summary

Modifier and Type	Method and Description
static TptpFofFormulaRole	valueOf(String name) Returns the enum constant of this type with the specified name.
static TptpFofFormulaRole[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

axiom

public static final TptpFofFormulaRole axiom

conjecture

public static final TptpFofFormulaRole conjecture

hypothesis

public static final TptpFofFormulaRole hypothesis

definition

public static final TptpFofFormulaRole definition

assumption

public static final TptpFofFormulaRole assumption

lemma

public static final TptpFofFormulaRole lemma

theorem

public static final TptpFofFormulaRole theorem

negated_conjecture

public static final TptpFofFormulaRole negated_conjecture

plain

public static final TptpFofFormulaRole plain

fi_domain

public static final TptpFofFormulaRole fi_domain

fi_functors

public static final TptpFofFormulaRole fi_functors

fi_predicates

public static final TptpFofFormulaRole fi_predicates

type

public static final TptpFofFormulaRole type

unknown

public static final TptpFofFormulaRole unknown

Method Detail

values

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

Returns:

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

valueOf

public static TptpFofFormulaRole valueOf(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:

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

NullPointerException - if the argument is null