uk.ac.manchester.cs.jfact.helpers

Enum Templates

java.lang.Object

java.lang.Enum<Templates>

uk.ac.manchester.cs.jfact.helpers.Templates

All Implemented Interfaces:

Serializable, Comparable<Templates>

public enum Templates
extends Enum<Templates>

Enum Constant Summary

Enum Constants

Enum Constant and Description
BUILD_CACHE_UNSAT
CAN_BE_CACHED
CHECK_MERGE_CLASH
CLASH
CLASSIFY_CONCEPTS
CLASSIFY_CONCEPTS2
CN
COMMON_TACTIC_BODY_OR
COMMON_TACTIC_BODY_SOME
COMMON_TACTIC_BODY_SOME2
CONSISTENT_NOMINAL
CREATE_EDGE
DETERMINE_SORTS
DLCOMPLETIONTREEARC
DLCONCEPTTAXONOMY
DLVERTEXPrint2
DLVERTEXPrint3
DLVERTEXPrint4
DN
E
INCORPORATE
INTERVAL
IS_BLOCKED_FAILURE_BY
IS_SATISFIABLE
IS_SATISFIABLE1
ISSUBHOLDS1
ISSUBHOLDS2
LOG_FINISH_ENTRY
LOG_NODE_BLOCKED
LOG_SR_NODE
LOGCACHEENTRY
MERGE
NN
PRINT_STAT
PRINTDAGUSAGE
READ_CONFIG
READCONFIG
REPORT1
RESTORE
SAVE
TAX_TRYING
TOLD_SUBSUMERS
TRANSFORM_TOLD_CYCLES
WRITE_STATE

Method Summary

Methods

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

TAX_TRYING

public static final Templates TAX_TRYING

INTERVAL

public static final Templates INTERVAL

CLASH

public static final Templates CLASH

CREATE_EDGE

public static final Templates CREATE_EDGE

IS_BLOCKED_FAILURE_BY

public static final Templates IS_BLOCKED_FAILURE_BY

LOG_NODE_BLOCKED

public static final Templates LOG_NODE_BLOCKED

LOG_SR_NODE

public static final Templates LOG_SR_NODE

DETERMINE_SORTS

public static final Templates DETERMINE_SORTS

WRITE_STATE

public static final Templates WRITE_STATE

BUILD_CACHE_UNSAT

public static final Templates BUILD_CACHE_UNSAT

CAN_BE_CACHED

public static final Templates CAN_BE_CACHED

CHECK_MERGE_CLASH

public static final Templates CHECK_MERGE_CLASH

COMMON_TACTIC_BODY_OR

public static final Templates COMMON_TACTIC_BODY_OR

COMMON_TACTIC_BODY_SOME

public static final Templates COMMON_TACTIC_BODY_SOME

COMMON_TACTIC_BODY_SOME2

public static final Templates COMMON_TACTIC_BODY_SOME2

CONSISTENT_NOMINAL

public static final Templates CONSISTENT_NOMINAL

DN

public static final Templates DN

CN

public static final Templates CN

NN

public static final Templates NN

E

public static final Templates E

LOG_FINISH_ENTRY

public static final Templates LOG_FINISH_ENTRY

DLVERTEXPrint2

public static final Templates DLVERTEXPrint2

DLVERTEXPrint3

public static final Templates DLVERTEXPrint3

DLVERTEXPrint4

public static final Templates DLVERTEXPrint4

LOGCACHEENTRY

public static final Templates LOGCACHEENTRY

DLCOMPLETIONTREEARC

public static final Templates DLCOMPLETIONTREEARC

DLCONCEPTTAXONOMY

public static final Templates DLCONCEPTTAXONOMY

PRINTDAGUSAGE

public static final Templates PRINTDAGUSAGE

READCONFIG

public static final Templates READCONFIG

PRINT_STAT

public static final Templates PRINT_STAT

REPORT1

public static final Templates REPORT1

SAVE

public static final Templates SAVE

ISSUBHOLDS1

public static final Templates ISSUBHOLDS1

ISSUBHOLDS2

public static final Templates ISSUBHOLDS2

INCORPORATE

public static final Templates INCORPORATE

MERGE

public static final Templates MERGE

RESTORE

public static final Templates RESTORE

CLASSIFY_CONCEPTS

public static final Templates CLASSIFY_CONCEPTS

CLASSIFY_CONCEPTS2

public static final Templates CLASSIFY_CONCEPTS2

READ_CONFIG

public static final Templates READ_CONFIG

TOLD_SUBSUMERS

public static final Templates TOLD_SUBSUMERS

TRANSFORM_TOLD_CYCLES

public static final Templates TRANSFORM_TOLD_CYCLES

IS_SATISFIABLE

public static final Templates IS_SATISFIABLE

IS_SATISFIABLE1

public static final Templates IS_SATISFIABLE1

Method Detail

values

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

Returns:

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

valueOf

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

getTemplate

public String getTemplate()