net.sourceforge.czt.zeves.ast

Interface WithCommand

All Superinterfaces:

ComplexCommand, ProofCommand, Term, WrappedCommand

All Known Implementing Classes:

WithCommandImpl

public interface WithCommand
extends ComplexCommand

Compound commands involving either specific theorem names and/or expressions/predicates. It is one of the most complex / powerfull of commands available.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Boolean	getEnabled() Returns the Enabled element.
void	setEnabled(Boolean enabled) Sets the Enabled 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

getEnabled

Boolean getEnabled()

Returns the Enabled element.

Returns:

the Enabled element.

setEnabled

void setEnabled(Boolean enabled)

Sets the Enabled element.

Parameters:

enabled - the Enabled element.

See Also:

getEnabled()