net.sourceforge.czt.zeves.ast

Interface SubstitutionCommand

All Superinterfaces:

ComplexCommand, ProofCommand, Term, WrappedCommand

All Known Implementing Classes:

SubstitutionCommandImpl

public interface SubstitutionCommand
extends ComplexCommand

Term substitution commands. These include equality substitution (globally or for an expression), and definition expansion (globally or for a particular name). It also involves the special case of decorated schema expansion or predicate expansion.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
SubstitutionKind	getSubstitutionKind() Returns the SubstitutionKind element.
void	setSubstitutionKind(SubstitutionKind substitutionKind) Sets the SubstitutionKind element.

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

getExpr, getNameList, getPred, getZNameList, setExpr, setNameList, setPred

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

getProofCommand, setProofCommand

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

getSubstitutionKind

SubstitutionKind getSubstitutionKind()

Returns the SubstitutionKind element.

Returns:

the SubstitutionKind element.

setSubstitutionKind

void setSubstitutionKind(SubstitutionKind substitutionKind)

Sets the SubstitutionKind element.

Parameters:

substitutionKind - the SubstitutionKind element.

See Also:

getSubstitutionKind()