net.sourceforge.czt.zeves.ast

Interface ApplyCommand

All Superinterfaces:

ComplexCommand, ProofCommand, Term, WrappedCommand

All Known Implementing Classes:

ApplyCommandImpl

public interface ApplyCommand
extends ComplexCommand

Theorem application commands. Might have an extra expression (x)or predicate attached to it.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Name	getThmName() This is a convenience method.

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

getThmName

Name getThmName()

This is a convenience method. It returns the ZName if Name is an instance of ZName and throws an UnsupportedAstClassException otherwise.