net.sourceforge.czt.zeves.ast

Interface SimplificationCommand

All Superinterfaces:

ProofCommand, Term

All Known Implementing Classes:

SimplificationCommandImpl

public interface SimplificationCommand
extends ProofCommand

Term rewriting and simplification commands of various kinds. It contains flags determining whether the command is trivial or compound (tactical).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
RewriteKind	getRewriteKind() Returns the RewriteKind element.
RewritePower	getRewritePower() Returns the RewritePower element.
void	setRewriteKind(RewriteKind rewriteKind) Sets the RewriteKind element.
void	setRewritePower(RewritePower rewritePower) Sets the RewritePower 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

getRewriteKind

RewriteKind getRewriteKind()

Returns the RewriteKind element.

Returns:

the RewriteKind element.

setRewriteKind

void setRewriteKind(RewriteKind rewriteKind)

Sets the RewriteKind element.

Parameters:

rewriteKind - the RewriteKind element.

See Also:

getRewriteKind()

getRewritePower

RewritePower getRewritePower()

Returns the RewritePower element.

Returns:

the RewritePower element.

setRewritePower

void setRewritePower(RewritePower rewritePower)

Sets the RewritePower element.

Parameters:

rewritePower - the RewritePower element.

See Also:

getRewritePower()