net.sourceforge.czt.zeves.util

Enum ZEvesConcreteSyntaxSymbol

java.lang.Object

java.lang.Enum<ZEvesConcreteSyntaxSymbol>

net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbol

All Implemented Interfaces:

Serializable, Comparable<ZEvesConcreteSyntaxSymbol>

public enum ZEvesConcreteSyntaxSymbol
extends Enum<ZEvesConcreteSyntaxSymbol>

Author:

Leo Freitas

Enum Constant Summary

Enum Constants

Enum Constant and Description
APPLY_EXPR_CMD
APPLY_GLOBAL_CMD
APPLY_PRED_CMD
BACK_CMD
CASES_CMD
CONJUNCTIVE_CMD
DISJUNCTIVE_CMD
EQUALITY_GLOBAL_CMD
EQUALITY_LOCAL_CMD
INSTANTIATE_CMD
INSTANTIATION
INSTANTIATION_LIST
INVOKE_GLOBAL_CMD
INVOKE_NAME_CMD
INVOKE_PRED_CMD
NEXT_CMD
OOPS_COMMAND
PRENEX_CMD
PROVE_RD_CMD
PROVE_RW_CMD
REARRANGE_CMD
REDUCE_CMD
REWRITE_CMD
SIMPLIFY_CMD
SORRY_COMMAND
SPLIT_CMD
THMREPLACEMENT
TRIVIAL_RW_CMD
TRIVIAL_SIMP_CMD
TRY_CMD
TRY_LEMMA_CMD
USE_COMPLEX_CMD
USE_GENTHM_CMD
USE_TRIVIAL_CMD
WITH_DISABLED_CMD
WITH_ENABLED_CMD
WITH_EXPR_CMD
WITH_NORM_CMD
WITH_PRED_CMD
ZEVESLABEL
ZEVESNOTE
ZPROOF_CMD_LIST
ZPROOF_PARA

Method Summary

Modifier and Type	Method and Description
String	getDescription()
static ZEvesConcreteSyntaxSymbol	valueOf(String name) Returns the enum constant of this type with the specified name.
static ZEvesConcreteSyntaxSymbol[]	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

ZPROOF_PARA

public static final ZEvesConcreteSyntaxSymbol ZPROOF_PARA

ZPROOF_CMD_LIST

public static final ZEvesConcreteSyntaxSymbol ZPROOF_CMD_LIST

APPLY_GLOBAL_CMD

public static final ZEvesConcreteSyntaxSymbol APPLY_GLOBAL_CMD

APPLY_EXPR_CMD

public static final ZEvesConcreteSyntaxSymbol APPLY_EXPR_CMD

APPLY_PRED_CMD

public static final ZEvesConcreteSyntaxSymbol APPLY_PRED_CMD

BACK_CMD

public static final ZEvesConcreteSyntaxSymbol BACK_CMD

CASES_CMD

public static final ZEvesConcreteSyntaxSymbol CASES_CMD

CONJUNCTIVE_CMD

public static final ZEvesConcreteSyntaxSymbol CONJUNCTIVE_CMD

DISJUNCTIVE_CMD

public static final ZEvesConcreteSyntaxSymbol DISJUNCTIVE_CMD

EQUALITY_LOCAL_CMD

public static final ZEvesConcreteSyntaxSymbol EQUALITY_LOCAL_CMD

EQUALITY_GLOBAL_CMD

public static final ZEvesConcreteSyntaxSymbol EQUALITY_GLOBAL_CMD

INSTANTIATE_CMD

public static final ZEvesConcreteSyntaxSymbol INSTANTIATE_CMD

INVOKE_PRED_CMD

public static final ZEvesConcreteSyntaxSymbol INVOKE_PRED_CMD

INVOKE_NAME_CMD

public static final ZEvesConcreteSyntaxSymbol INVOKE_NAME_CMD

INVOKE_GLOBAL_CMD

public static final ZEvesConcreteSyntaxSymbol INVOKE_GLOBAL_CMD

NEXT_CMD

public static final ZEvesConcreteSyntaxSymbol NEXT_CMD

PRENEX_CMD

public static final ZEvesConcreteSyntaxSymbol PRENEX_CMD

PROVE_RW_CMD

public static final ZEvesConcreteSyntaxSymbol PROVE_RW_CMD

PROVE_RD_CMD

public static final ZEvesConcreteSyntaxSymbol PROVE_RD_CMD

REARRANGE_CMD

public static final ZEvesConcreteSyntaxSymbol REARRANGE_CMD

REDUCE_CMD

public static final ZEvesConcreteSyntaxSymbol REDUCE_CMD

REWRITE_CMD

public static final ZEvesConcreteSyntaxSymbol REWRITE_CMD

SIMPLIFY_CMD

public static final ZEvesConcreteSyntaxSymbol SIMPLIFY_CMD

SPLIT_CMD

public static final ZEvesConcreteSyntaxSymbol SPLIT_CMD

TRIVIAL_SIMP_CMD

public static final ZEvesConcreteSyntaxSymbol TRIVIAL_SIMP_CMD

TRIVIAL_RW_CMD

public static final ZEvesConcreteSyntaxSymbol TRIVIAL_RW_CMD

TRY_CMD

public static final ZEvesConcreteSyntaxSymbol TRY_CMD

TRY_LEMMA_CMD

public static final ZEvesConcreteSyntaxSymbol TRY_LEMMA_CMD

USE_TRIVIAL_CMD

public static final ZEvesConcreteSyntaxSymbol USE_TRIVIAL_CMD

USE_GENTHM_CMD

public static final ZEvesConcreteSyntaxSymbol USE_GENTHM_CMD

USE_COMPLEX_CMD

public static final ZEvesConcreteSyntaxSymbol USE_COMPLEX_CMD

WITH_NORM_CMD

public static final ZEvesConcreteSyntaxSymbol WITH_NORM_CMD

WITH_PRED_CMD

public static final ZEvesConcreteSyntaxSymbol WITH_PRED_CMD

WITH_EXPR_CMD

public static final ZEvesConcreteSyntaxSymbol WITH_EXPR_CMD

WITH_ENABLED_CMD

public static final ZEvesConcreteSyntaxSymbol WITH_ENABLED_CMD

WITH_DISABLED_CMD

public static final ZEvesConcreteSyntaxSymbol WITH_DISABLED_CMD

SORRY_COMMAND

public static final ZEvesConcreteSyntaxSymbol SORRY_COMMAND

OOPS_COMMAND

public static final ZEvesConcreteSyntaxSymbol OOPS_COMMAND

THMREPLACEMENT

public static final ZEvesConcreteSyntaxSymbol THMREPLACEMENT

INSTANTIATION

public static final ZEvesConcreteSyntaxSymbol INSTANTIATION

INSTANTIATION_LIST

public static final ZEvesConcreteSyntaxSymbol INSTANTIATION_LIST

ZEVESLABEL

public static final ZEvesConcreteSyntaxSymbol ZEVESLABEL

ZEVESNOTE

public static final ZEvesConcreteSyntaxSymbol ZEVESNOTE

Method Detail

values

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

Returns:

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

valueOf

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

getDescription

public String getDescription()