net.sourceforge.czt.zeves.ast

Interface InstantiationCommand

All Superinterfaces:

ProofCommand, Term

All Known Subinterfaces:

QuantifiersCommand, UseCommand

All Known Implementing Classes:

InstantiationCommandImpl, QuantifiersCommandImpl, UseCommandImpl

public interface InstantiationCommand
extends ProofCommand

Abstract command for instantiations. It contains instantiations or replacements for either quantifiers or theorem usages.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
InstantiationList	getInstantiationList() Returns the InstantiationList element.
void	setInstantiationList(InstantiationList instantiationList) Sets the InstantiationList 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

getInstantiationList

InstantiationList getInstantiationList()

Returns the InstantiationList element.

Returns:

the InstantiationList element.

setInstantiationList

void setInstantiationList(InstantiationList instantiationList)

Sets the InstantiationList element.

Parameters:

instantiationList - the InstantiationList element.

See Also:

getInstantiationList()