org.openqed.struct.namedid
Class SentenceRole

java.lang.Object
  org.openqed.struct.namedid.NamedId
      org.openqed.struct.namedid.EnumId
          org.openqed.struct.namedid.SentenceRole

public class SentenceRole
extends EnumId

Nested Class Summary

static class

SentenceRole.EnumValue

Field Summary

static SentenceRole	AXIOM
static SentenceRole	CONJECTURE
static SentenceRole	DEFINITION
static SentenceRole	HYPOTHESIS
static SentenceRole	LEMMA
static SentenceRole	NEGATED_CONJECTURE
static SentenceRole	THEOREM

Method Summary

static SentenceRole	get(SentenceRole.EnumValue enumValue)
static SentenceRole	get(java.lang.String name)
SentenceRole.EnumValue	getEnumValue()
boolean	isAxiom()
boolean	isAxiomLike()
boolean	isConjecture()
boolean	isDefinition()
boolean	isHypothesis()
boolean	isLemma()
boolean	isNegatedConjecture()
boolean	isTheorem()

Methods inherited from class org.openqed.struct.namedid.EnumId

getOrdinal

Methods inherited from class org.openqed.struct.namedid.NamedId

equals, getName, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

AXIOM

public static final SentenceRole AXIOM

CONJECTURE

public static final SentenceRole CONJECTURE

DEFINITION

public static final SentenceRole DEFINITION

HYPOTHESIS

public static final SentenceRole HYPOTHESIS

LEMMA

public static final SentenceRole LEMMA

NEGATED_CONJECTURE

public static final SentenceRole NEGATED_CONJECTURE

THEOREM

public static final SentenceRole THEOREM

Method Detail

get

public static SentenceRole get(java.lang.String name)

get

public static SentenceRole get(SentenceRole.EnumValue enumValue)

getEnumValue

public SentenceRole.EnumValue getEnumValue()

Overrides:

getEnumValue in class EnumId

isAxiom

public boolean isAxiom()

isConjecture

public boolean isConjecture()

isDefinition

public boolean isDefinition()

isHypothesis

public boolean isHypothesis()

isLemma

public boolean isLemma()

isNegatedConjecture

public boolean isNegatedConjecture()

isTheorem

public boolean isTheorem()

isAxiomLike

public boolean isAxiomLike()