Package net.sourceforge.czt.zeves.impl

Implementation classes of the AST for ZEves.

See: Description

Class Summary

Class	Description
ApplyCommandImpl	An implementation of the interface ApplyCommand.
CaseAnalysisCommandImpl	An implementation of the interface CaseAnalysisCommand.
ComplexCommandImpl	An implementation of the interface ComplexCommand.
InstantiationCommandImpl	An implementation of the interface InstantiationCommand.
InstantiationImpl	An implementation of the interface Instantiation.
InstantiationListImpl	An implementation of the interface InstantiationList.
NormalizationCommandImpl	An implementation of the interface NormalizationCommand.
ProofCommandImpl	An implementation of the interface ProofCommand.
ProofCommandInfoImpl	An implementation of the interface ProofCommandInfo.
ProofCommandInfoListImpl	An implementation of the interface ProofCommandInfoList.
ProofCommandListImpl	An implementation of the interface ProofCommandList.
ProofScriptImpl	An implementation of the interface ProofScript.
ProofTypeImpl	An implementation of the interface ProofType.
QuantifiersCommandImpl	An implementation of the interface QuantifiersCommand.
SimplificationCommandImpl	An implementation of the interface SimplificationCommand.
SorryCommandImpl	An implementation of the interface SorryCommand.
SubstitutionCommandImpl	An implementation of the interface SubstitutionCommand.
UseCommandImpl	An implementation of the interface UseCommand.
WithCommandImpl	An implementation of the interface WithCommand.
WrappedCommandImpl	An implementation of the interface WrappedCommand.
ZEvesFactoryImpl	An implementation of the object factory for constructing concrete Z terms.
ZEvesLabelImpl	An implementation of the interface ZEvesLabel.
ZEvesNoteImpl	An implementation of the interface ZEvesNote.

Package net.sourceforge.czt.zeves.impl Description

Implementation classes of the AST for ZEves.

This package provides implementations of the interfaces in net.sourceforge.czt.zeves.ast. As an application programmer, you should ONLY use the object factory provided in this package explicitly. Use the interfaces in net.sourceforge.czt.zeves.ast and the ZEvesFactoryImpl when using the AST for ZEves.