|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||
java.lang.Objectjava.lang.Enum<Configuration.TableauMonitorType>
org.semanticweb.HermiT.Configuration.TableauMonitorType
public static enum Configuration.TableauMonitorType
Tableau monitors can be used to be informed about what HermiT does and they can be useful for debugging the reasoner.
| Enum Constant Summary | |
|---|---|
DEBUGGER_HISTORY_ON
This opens a debugging application for HermiT. |
|
DEBUGGER_NO_HISTORY
This opens a debugging application for HermiT. |
|
NONE
The standard setting is no monitor, i.e., no information is recorded and printed about what the reasoner does. |
|
TIMING
The TIMING tableau monitor print information about the tableau (number of nodes etc) in certain time intervals. |
|
TIMING_WITH_PAUSE
Waits at certain points (e.g., before building a tableau) for a keystroke by the user and is apart from that like TIMING. |
|
| Method Summary | |
|---|---|
static Configuration.TableauMonitorType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Configuration.TableauMonitorType[] |
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 |
|---|
public static final Configuration.TableauMonitorType NONE
public static final Configuration.TableauMonitorType TIMING
public static final Configuration.TableauMonitorType TIMING_WITH_PAUSE
public static final Configuration.TableauMonitorType DEBUGGER_NO_HISTORY
public static final Configuration.TableauMonitorType DEBUGGER_HISTORY_ON
| Method Detail |
|---|
public static Configuration.TableauMonitorType[] values()
for (Configuration.TableauMonitorType c : Configuration.TableauMonitorType.values()) System.out.println(c);
public static Configuration.TableauMonitorType valueOf(java.lang.String name)
name - the name of the enum constant to be returned.
java.lang.IllegalArgumentException - if this enum type has no constant
with the specified name
java.lang.NullPointerException - if the argument is null
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||