Package org.qedeq.kernel.se.state

This package carries all possible module states.

See:
Description

Interface Summary

DependencyStateDescriptions	This interface provides constants of this package.
FormallyProvedStateDescriptions	This interface provides primitive constants for the FormallyProvedState.
LoadingImportsStateDescriptions	This interface provides constants of this package.
LoadingStateDescriptions	This interface provides constants of this package.
WellFormedStateDescriptions	This interface provides primitive constants for the WellFormedState.

Class Summary

AbstractState	Represents a module state.
DependencyState	Represents a mathematical module state.
FormallyProvedState	Represents a mathematical module state.
LoadingImportsState	Represents a module state.
LoadingState	Represents a module state.
WellFormedState	Represents a mathematical module state.

Package org.qedeq.kernel.se.state Description

This package carries all possible module states.