public interface InstantiationCommand extends ProofCommand
| Modifier and Type | Method and Description |
|---|---|
InstantiationList |
getInstantiationList()
Returns the InstantiationList element.
|
void |
setInstantiationList(InstantiationList instantiationList)
Sets the InstantiationList element.
|
getProofStep, setProofStepInstantiationList getInstantiationList()
void setInstantiationList(InstantiationList instantiationList)
instantiationList - the InstantiationList element.getInstantiationList()Copyright © 2003–2016 Community Z Tools Project. All rights reserved.