net.sourceforge.czt.zeves.ast

Interface ProofCommand

All Superinterfaces:

Term

All Known Subinterfaces:

ApplyCommand, CaseAnalysisCommand, ComplexCommand, InstantiationCommand, NormalizationCommand, QuantifiersCommand, SimplificationCommand, SorryCommand, SubstitutionCommand, UseCommand, WithCommand, WrappedCommand

All Known Implementing Classes:

ApplyCommandImpl, CaseAnalysisCommandImpl, ComplexCommandImpl, InstantiationCommandImpl, NormalizationCommandImpl, ProofCommandImpl, QuantifiersCommandImpl, SimplificationCommandImpl, SorryCommandImpl, SubstitutionCommandImpl, UseCommandImpl, WithCommandImpl, WrappedCommandImpl

public interface ProofCommand
extends Term

Abstract proof command

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
BigInteger	getProofStep() Returns the ProofStep element.
void	setProofStep(BigInteger proofStep) Sets the ProofStep element.

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getProofStep

BigInteger getProofStep()

Returns the ProofStep element.

Returns:

the ProofStep element.

setProofStep

void setProofStep(BigInteger proofStep)

Sets the ProofStep element.

Parameters:

proofStep - the ProofStep element.

See Also:

getProofStep()