net.sourceforge.czt.parser.zeves

Enum ZEvesProofKeyword

java.lang.Object

java.lang.Enum<ZEvesProofKeyword>

net.sourceforge.czt.parser.zeves.ZEvesProofKeyword

All Implemented Interfaces:

Serializable, Comparable<ZEvesProofKeyword>, Token

public enum ZEvesProofKeyword
extends Enum<ZEvesProofKeyword>
implements Token

Author:

Leo Freitas

Enum Constant Summary

Enum Constants

Enum Constant and Description
ABOUT
APPLY
BACK
BY
CASES
CHECK
CONJUNCTIVE
DECLARATION
DECLARE
DISABLED
DISJUNCTIVE
ENABLED
EQUALITY
EXPRESSION
FORMULA
HELP
HISTORY
INSTANTIATE
INVOKE
LEMMA
NEXT
NORMALIZATION
OOPS
PARENT
PREDICATE
PRENEX
PRINT
PROOF
PROVE
QUIT
READ
REARRANGE
REDUCE
RESET
RETRY
REWRITE
SCRIPT
SIMPLIFY
SORRY
SPLIT
STATUS
SUBSTITUTE
SUMMARY
SYNTAX
THEOREMS
THMAXIOM
THMFRULE
THMGRULE
THMREPLACEMENT
THMRULE
THROUGH
TO
TRIVIAL
TRY
UNDO
USE
WITH
ZSECTION
ZTAGS

Method Summary

Modifier and Type	Method and Description
String	getName()
NewlineCategory	getNewlineCategory()
Object	getSpelling()
static ZEvesProofKeyword[]	headProofWordsOnly()
String	spelling()
static ZEvesProofKeyword[]	usageWordsOnly()
static ZEvesProofKeyword	valueOf(String name) Returns the enum constant of this type with the specified name.
static ZEvesProofKeyword[]	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

APPLY

public static final ZEvesProofKeyword APPLY

BACK

public static final ZEvesProofKeyword BACK

CASES

public static final ZEvesProofKeyword CASES

CONJUNCTIVE

public static final ZEvesProofKeyword CONJUNCTIVE

DISJUNCTIVE

public static final ZEvesProofKeyword DISJUNCTIVE

EQUALITY

public static final ZEvesProofKeyword EQUALITY

INSTANTIATE

public static final ZEvesProofKeyword INSTANTIATE

INVOKE

public static final ZEvesProofKeyword INVOKE

NEXT

public static final ZEvesProofKeyword NEXT

PRENEX

public static final ZEvesProofKeyword PRENEX

PROVE

public static final ZEvesProofKeyword PROVE

REARRANGE

public static final ZEvesProofKeyword REARRANGE

REDUCE

public static final ZEvesProofKeyword REDUCE

REWRITE

public static final ZEvesProofKeyword REWRITE

SIMPLIFY

public static final ZEvesProofKeyword SIMPLIFY

SPLIT

public static final ZEvesProofKeyword SPLIT

TRIVIAL

public static final ZEvesProofKeyword TRIVIAL

TRY

public static final ZEvesProofKeyword TRY

USE

public static final ZEvesProofKeyword USE

WITH

public static final ZEvesProofKeyword WITH

SORRY

public static final ZEvesProofKeyword SORRY

OOPS

public static final ZEvesProofKeyword OOPS

BY

public static final ZEvesProofKeyword BY

ENABLED

public static final ZEvesProofKeyword ENABLED

EXPRESSION

public static final ZEvesProofKeyword EXPRESSION

DISABLED

public static final ZEvesProofKeyword DISABLED

LEMMA

public static final ZEvesProofKeyword LEMMA

NORMALIZATION

public static final ZEvesProofKeyword NORMALIZATION

PREDICATE

public static final ZEvesProofKeyword PREDICATE

SUBSTITUTE

public static final ZEvesProofKeyword SUBSTITUTE

TO

public static final ZEvesProofKeyword TO

CHECK

public static final ZEvesProofKeyword CHECK

DECLARE

public static final ZEvesProofKeyword DECLARE

HELP

public static final ZEvesProofKeyword HELP

PARENT

public static final ZEvesProofKeyword PARENT

PRINT

public static final ZEvesProofKeyword PRINT

QUIT

public static final ZEvesProofKeyword QUIT

READ

public static final ZEvesProofKeyword READ

RESET

public static final ZEvesProofKeyword RESET

RETRY

public static final ZEvesProofKeyword RETRY

SYNTAX

public static final ZEvesProofKeyword SYNTAX

THEOREMS

public static final ZEvesProofKeyword THEOREMS

UNDO

public static final ZEvesProofKeyword UNDO

ZSECTION

public static final ZEvesProofKeyword ZSECTION

ZTAGS

public static final ZEvesProofKeyword ZTAGS

ABOUT

public static final ZEvesProofKeyword ABOUT

DECLARATION

public static final ZEvesProofKeyword DECLARATION

FORMULA

public static final ZEvesProofKeyword FORMULA

HISTORY

public static final ZEvesProofKeyword HISTORY

PROOF

public static final ZEvesProofKeyword PROOF

SCRIPT

public static final ZEvesProofKeyword SCRIPT

STATUS

public static final ZEvesProofKeyword STATUS

SUMMARY

public static final ZEvesProofKeyword SUMMARY

THROUGH

public static final ZEvesProofKeyword THROUGH

THMREPLACEMENT

public static final ZEvesProofKeyword THMREPLACEMENT

THMRULE

public static final ZEvesProofKeyword THMRULE

THMGRULE

public static final ZEvesProofKeyword THMGRULE

THMFRULE

public static final ZEvesProofKeyword THMFRULE

THMAXIOM

public static final ZEvesProofKeyword THMAXIOM

Method Detail

values

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

Returns:

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

valueOf

public static ZEvesProofKeyword 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

usageWordsOnly

public static ZEvesProofKeyword[] usageWordsOnly()

headProofWordsOnly

public static ZEvesProofKeyword[] headProofWordsOnly()

getName

public String getName()

Specified by:

getName in interface Token

getSpelling

public Object getSpelling()

Specified by:

getSpelling in interface Token

spelling

public String spelling()

Specified by:

spelling in interface Token

getNewlineCategory

public NewlineCategory getNewlineCategory()

Specified by:

getNewlineCategory in interface Token