Uses of Class
org.qedeq.kernel.se.state.FormallyProvedState

Packages that use FormallyProvedState

org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.se.state	This package carries all possible module states.

Uses of FormallyProvedState in org.qedeq.kernel.bo.common

Methods in org.qedeq.kernel.bo.common that return FormallyProvedState

FormallyProvedState

QedeqBo.getFormallyProvedState() Get module logical formally proved state.

Uses of FormallyProvedState in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module with parameters of type FormallyProvedState

void	KernelQedeqBo.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList sfl) Set logical formally proved module failure state.
void	KernelQedeqBo.setFormallyProvedProgressState(FormallyProvedState state) Set logical formally proved module progress state.

Uses of FormallyProvedState in org.qedeq.kernel.bo.service.internal

Methods in org.qedeq.kernel.bo.service.internal that return FormallyProvedState

FormallyProvedState	DefaultKernelQedeqBo.getFormallyProvedState()
FormallyProvedState	StateManager.getFormallyProvedState() Get the formally proved state.

Methods in org.qedeq.kernel.bo.service.internal with parameters of type FormallyProvedState

void	DefaultKernelQedeqBo.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList e)
void	StateManager.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList e) Set failure module state.
void	DefaultKernelQedeqBo.setFormallyProvedProgressState(FormallyProvedState state)
void	StateManager.setFormallyProvedProgressState(FormallyProvedState state) Set checking for formally proved progress module state.
protected void	StateManager.setFormallyProvedState(FormallyProvedState state) Set FormallyProvedState.

Uses of FormallyProvedState in org.qedeq.kernel.se.state

Fields in org.qedeq.kernel.se.state declared as FormallyProvedState

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