net.sourceforge.czt.zeves.ast

Interface ProofCommandInfo

All Superinterfaces:

Term

All Known Implementing Classes:

ProofCommandInfoImpl

public interface ProofCommandInfo
extends Term

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ProofStepKind	getProofStepKind() Returns the ProofStepKind element.
BigInteger	getProofStepRank() Returns the ProofStepRank element.
ProofStepScope	getProofStepScope() Returns the ProofStepScope element.
void	setProofStepKind(ProofStepKind proofStepKind) Sets the ProofStepKind element.
void	setProofStepRank(BigInteger proofStepRank) Sets the ProofStepRank element.
void	setProofStepScope(ProofStepScope proofStepScope) Sets the ProofStepScope element.

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

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

Method Detail

getProofStepRank

BigInteger getProofStepRank()

Returns the ProofStepRank element.

Returns:

the ProofStepRank element.

setProofStepRank

void setProofStepRank(BigInteger proofStepRank)

Sets the ProofStepRank element.

Parameters:

proofStepRank - the ProofStepRank element.

See Also:

getProofStepRank()

getProofStepKind

ProofStepKind getProofStepKind()

Returns the ProofStepKind element.

Returns:

the ProofStepKind element.

setProofStepKind

void setProofStepKind(ProofStepKind proofStepKind)

Sets the ProofStepKind element.

Parameters:

proofStepKind - the ProofStepKind element.

See Also:

getProofStepKind()

getProofStepScope

ProofStepScope getProofStepScope()

Returns the ProofStepScope element.

Returns:

the ProofStepScope element.

setProofStepScope

void setProofStepScope(ProofStepScope proofStepScope)

Sets the ProofStepScope element.

Parameters:

proofStepScope - the ProofStepScope element.

See Also:

getProofStepScope()