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>

templates

Enum Constant Summary

Enum Constants

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

Method Summary

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

compareTo, equals, 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

TAX_TRYING

INTERVAL

public static final Templates INTERVAL

INTERVAL

CREATE_EDGE

public static final Templates CREATE_EDGE

CREATE_EDGE

IS_BLOCKED_FAILURE_BY

public static final Templates IS_BLOCKED_FAILURE_BY

IS_BLOCKED_FAILURE_BY

LOG_NODE_BLOCKED

public static final Templates LOG_NODE_BLOCKED

LOG_NODE_BLOCKED

LOG_SR_NODE

public static final Templates LOG_SR_NODE

LOG_SR_NODE

DETERMINE_SORTS

public static final Templates DETERMINE_SORTS

DETERMINE_SORTS

WRITE_STATE

public static final Templates WRITE_STATE

WRITE_STATE

BUILD_CACHE_UNSAT

public static final Templates BUILD_CACHE_UNSAT

BUILD_CACHE_UNSAT

CAN_BE_CACHED

public static final Templates CAN_BE_CACHED

CAN_BE_CACHED

CHECK_MERGE_CLASH

public static final Templates CHECK_MERGE_CLASH

CHECK_MERGE_CLASH

COMMON_TACTIC_BODY_OR

public static final Templates COMMON_TACTIC_BODY_OR

COMMON_TACTIC_BODY_OR

COMMON_TACTIC_BODY_SOME

public static final Templates COMMON_TACTIC_BODY_SOME

COMMON_TACTIC_BODY_SOME

COMMON_TACTIC_BODY_SOME2

public static final Templates COMMON_TACTIC_BODY_SOME2

COMMON_TACTIC_BODY_SOME2

CONSISTENT_NOMINAL

public static final Templates CONSISTENT_NOMINAL

CONSISTENT_NOMINAL

DN

public static final Templates DN

DN

CN

public static final Templates CN

CN

NN

public static final Templates NN

NN

E

public static final Templates E

E

LOG_FINISH_ENTRY

public static final Templates LOG_FINISH_ENTRY

LOG_FINISH_ENTRY

DLVERTEXPRINT2

public static final Templates DLVERTEXPRINT2

DLVERTEXPrint2

DLVERTEXPRINT3

public static final Templates DLVERTEXPRINT3

DLVERTEXPrint3

DLVERTEXPRINT4

public static final Templates DLVERTEXPRINT4

DLVERTEXPrint4

LOGCACHEENTRY

public static final Templates LOGCACHEENTRY

LOGCACHEENTRY

DLCOMPLETIONTREEARC

public static final Templates DLCOMPLETIONTREEARC

DLCOMPLETIONTREEARC

DLCONCEPTTAXONOMY

public static final Templates DLCONCEPTTAXONOMY

DLCONCEPTTAXONOMY

PRINTDAGUSAGE

public static final Templates PRINTDAGUSAGE

PRINTDAGUSAGE

READCONFIG

public static final Templates READCONFIG

READCONFIG

PRINT_STAT

public static final Templates PRINT_STAT

PRINT_STAT

REPORT1

public static final Templates REPORT1

REPORT1

SAVE

public static final Templates SAVE

SAVE

ISSUBHOLDS1

public static final Templates ISSUBHOLDS1

ISSUBHOLDS1

ISSUBHOLDS2

public static final Templates ISSUBHOLDS2

ISSUBHOLDS2

INCORPORATE

public static final Templates INCORPORATE

INCORPORATE

MERGE

public static final Templates MERGE

MERGE

RESTORE

public static final Templates RESTORE

RESTORE

CLASSIFY_CONCEPTS

public static final Templates CLASSIFY_CONCEPTS

CLASSIFY_CONCEPTS

CLASSIFY_CONCEPTS2

public static final Templates CLASSIFY_CONCEPTS2

CLASSIFY_CONCEPTS2

READ_CONFIG

public static final Templates READ_CONFIG

READ_CONFIG

TOLD_SUBSUMERS

public static final Templates TOLD_SUBSUMERS

TOLD_SUBSUMERS

TRANSFORM_TOLD_CYCLES

public static final Templates TRANSFORM_TOLD_CYCLES

TRANSFORM_TOLD_CYCLES

IS_SATISFIABLE

public static final Templates IS_SATISFIABLE

IS_SATISFIABLE

IS_SATISFIABLE1

public static final Templates IS_SATISFIABLE1

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()

Returns:

template