net.sourceforge.czt.zeves.ast

Interface UseCommand

All Superinterfaces:

InstantiationCommand, ProofCommand, Term

All Known Implementing Classes:

UseCommandImpl

public interface UseCommand
extends InstantiationCommand

Theorem / axiom introduction with particular parameters / instantiations.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
RefExpr	getTheoremRef() Returns the TheoremRef element.
void	setTheoremRef(RefExpr theoremRef) Sets the TheoremRef element.

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

getInstantiationList, setInstantiationList

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

getTheoremRef

RefExpr getTheoremRef()

Returns the TheoremRef element.

Returns:

the TheoremRef element.

setTheoremRef

void setTheoremRef(RefExpr theoremRef)

Sets the TheoremRef element.

Parameters:

theoremRef - the TheoremRef element.

See Also:

getTheoremRef()