org.qedeq.kernel.se.state
Class FormallyProvedState

java.lang.Object
  org.qedeq.kernel.se.state.AbstractState
      org.qedeq.kernel.se.state.FormallyProvedState

All Implemented Interfaces:

State

public final class FormallyProvedState
extends AbstractState
implements State

Represents a mathematical module state. Every instance of this class should be unique.

Author:

Michael Meyling

Field Summary

static FormallyProvedState	STATE_CHECKED Successfully completely checked.
static FormallyProvedState	STATE_EXTERNAL_CHECKING External checking.
static FormallyProvedState	STATE_EXTERNAL_CHECKING_FAILED External checking failed.
static FormallyProvedState	STATE_INTERNAL_CHECKING Internal checking phase.
static FormallyProvedState	STATE_INTERNAL_CHECKING_FAILED Internal check failed.
static FormallyProvedState	STATE_UNCHECKED Unchecked.

Method Summary

Methods inherited from class org.qedeq.kernel.se.state.AbstractState

equals, getCode, getText, hashCode, isFailure, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.qedeq.kernel.se.common.State

getCode, getText, isFailure

Field Detail

STATE_UNCHECKED

public static final FormallyProvedState STATE_UNCHECKED

Unchecked.

STATE_EXTERNAL_CHECKING

public static final FormallyProvedState STATE_EXTERNAL_CHECKING

External checking.

STATE_EXTERNAL_CHECKING_FAILED

public static final FormallyProvedState STATE_EXTERNAL_CHECKING_FAILED

External checking failed.

STATE_INTERNAL_CHECKING

public static final FormallyProvedState STATE_INTERNAL_CHECKING

Internal checking phase.

STATE_INTERNAL_CHECKING_FAILED

public static final FormallyProvedState STATE_INTERNAL_CHECKING_FAILED

Internal check failed.

STATE_CHECKED

public static final FormallyProvedState STATE_CHECKED

Successfully completely checked.