org.qedeq.kernel.se.state
Interface FormallyProvedStateDescriptions

public interface FormallyProvedStateDescriptions

This interface provides primitive constants for the FormallyProvedState.

Author:

Michael Meyling

Field Summary

static int	STATE_CODE_COMPLETELY_CHECKED Code for successfully completely checked state.
static int	STATE_CODE_EXTERNAL_CHECKING Code for external checking phase.
static int	STATE_CODE_EXTERNAL_CHECKING_FAILED Code for external check failure.
static int	STATE_CODE_INTERNAL_CHECKING Code for internal checking phase.
static int	STATE_CODE_INTERNAL_CHECKING_FAILED Code for check failure.
static int	STATE_CODE_UNCHECKED Code for unchecked state.
static java.lang.String	STATE_STRING_COMPLETELY_CHECKED Description for successfully completely checked state.
static java.lang.String	STATE_STRING_EXTERNAL_CHECKING Description for external internal checking phase.
static java.lang.String	STATE_STRING_EXTERNAL_CHECKING_FAILED Description for external check failure.
static java.lang.String	STATE_STRING_INTERNAL_CHECKING Description for internal checking phase.
static java.lang.String	STATE_STRING_INTERNAL_CHECKING_FAILED Description for check failure.
static java.lang.String	STATE_STRING_UNCHECKED Description for unchecked state.

Field Detail

STATE_CODE_UNCHECKED

static final int STATE_CODE_UNCHECKED

Code for unchecked state.

See Also:

Constant Field Values

STATE_STRING_UNCHECKED

static final java.lang.String STATE_STRING_UNCHECKED

Description for unchecked state.

See Also:

Constant Field Values

STATE_CODE_EXTERNAL_CHECKING

static final int STATE_CODE_EXTERNAL_CHECKING

Code for external checking phase.

See Also:

Constant Field Values

STATE_STRING_EXTERNAL_CHECKING

static final java.lang.String STATE_STRING_EXTERNAL_CHECKING

Description for external internal checking phase.

See Also:

Constant Field Values

STATE_CODE_EXTERNAL_CHECKING_FAILED

static final int STATE_CODE_EXTERNAL_CHECKING_FAILED

Code for external check failure.

See Also:

Constant Field Values

STATE_STRING_EXTERNAL_CHECKING_FAILED

static final java.lang.String STATE_STRING_EXTERNAL_CHECKING_FAILED

Description for external check failure.

See Also:

Constant Field Values

STATE_CODE_INTERNAL_CHECKING

static final int STATE_CODE_INTERNAL_CHECKING

Code for internal checking phase.

See Also:

Constant Field Values

STATE_STRING_INTERNAL_CHECKING

static final java.lang.String STATE_STRING_INTERNAL_CHECKING

Description for internal checking phase.

See Also:

Constant Field Values

STATE_CODE_INTERNAL_CHECKING_FAILED

static final int STATE_CODE_INTERNAL_CHECKING_FAILED

Code for check failure.

See Also:

Constant Field Values

STATE_STRING_INTERNAL_CHECKING_FAILED

static final java.lang.String STATE_STRING_INTERNAL_CHECKING_FAILED

Description for check failure.

See Also:

Constant Field Values

STATE_CODE_COMPLETELY_CHECKED

static final int STATE_CODE_COMPLETELY_CHECKED

Code for successfully completely checked state.

See Also:

Constant Field Values

STATE_STRING_COMPLETELY_CHECKED

static final java.lang.String STATE_STRING_COMPLETELY_CHECKED

Description for successfully completely checked state.

See Also:

Constant Field Values