net.sourceforge.czt.zeves.ast

Interface WrappedCommand

All Superinterfaces:

ProofCommand, Term

All Known Subinterfaces:

ApplyCommand, ComplexCommand, NormalizationCommand, SubstitutionCommand, WithCommand

All Known Implementing Classes:

ApplyCommandImpl, ComplexCommandImpl, NormalizationCommandImpl, SubstitutionCommandImpl, WithCommandImpl, WrappedCommandImpl

public interface WrappedCommand
extends ProofCommand

Abstract proof command that wraps up another proof command within it. This is like a tactical, yet not all "tactical"-like commands are Wrapped. Bare in mind Z/EVES is not a tactical theorem prover, and command combination is limited to general "waterfall"-like inferences. This is similar to ACL-2.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ProofCommand	getProofCommand() Returns the ProofCommand element.
void	setProofCommand(ProofCommand proofCommand) Sets the ProofCommand element.

Methods inherited from interface net.sourceforge.czt.zeves.ast.ProofCommand

getProofStep, setProofStep

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

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

Method Detail

getProofCommand

ProofCommand getProofCommand()

Returns the ProofCommand element.

Returns:

the ProofCommand element.

setProofCommand

void setProofCommand(ProofCommand proofCommand)

Sets the ProofCommand element.

Parameters:

proofCommand - the ProofCommand element.

See Also:

getProofCommand()