public class AutoModeInteraction extends Interaction
Interaction.InteractionGraphicStyle
graphicalStyle
Constructor and Description |
---|
AutoModeInteraction() |
AutoModeInteraction(java.util.List<Node> initialNodes,
ApplyStrategyInfo info) |
Modifier and Type | Method and Description |
---|---|
ApplyStrategyInfo |
getInfo() |
java.util.List<NodeIdentifier> |
getInitialNodeIds() |
java.lang.String |
getMarkdown() |
java.util.List<NodeIdentifier> |
getOpenGoalNodeIds() |
java.lang.String |
getProofScriptRepresentation() |
void |
reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
setInfo(ApplyStrategyInfo info) |
void |
setInitialNodeIds(java.util.List<NodeIdentifier> initialNodeIds) |
void |
setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds) |
java.lang.String |
toString() |
getCreated, getGraphicalStyle, isFavoured, setCreated, setFavoured
public AutoModeInteraction()
public AutoModeInteraction(java.util.List<Node> initialNodes, ApplyStrategyInfo info)
public ApplyStrategyInfo getInfo()
public void setInfo(ApplyStrategyInfo info)
public java.util.List<NodeIdentifier> getInitialNodeIds()
public void setInitialNodeIds(java.util.List<NodeIdentifier> initialNodeIds)
public java.util.List<NodeIdentifier> getOpenGoalNodeIds()
public void setOpenGoalNodeIds(java.util.List<NodeIdentifier> openGoalNodeIds)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getMarkdown()
public java.lang.String getProofScriptRepresentation()
public void reapply(WindowUserInterfaceControl uic, Goal goal) throws java.lang.Exception
java.lang.Exception
Copyright © 2003-2019 The KeY-Project.