public abstract class Interaction extends java.lang.Object implements java.io.Serializable, Markdownable, Scriptable, Reapplicable
Modifier and Type | Class and Description |
---|---|
static class |
Interaction.InteractionGraphicStyle |
Modifier and Type | Field and Description |
---|---|
protected Interaction.InteractionGraphicStyle |
graphicalStyle |
Constructor and Description |
---|
Interaction() |
Modifier and Type | Method and Description |
---|---|
java.util.Date |
getCreated() |
Interaction.InteractionGraphicStyle |
getGraphicalStyle() |
boolean |
isFavoured() |
void |
setCreated(java.util.Date created) |
void |
setFavoured(boolean favoured) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getMarkdown
getProofScriptRepresentation
reapply
protected Interaction.InteractionGraphicStyle graphicalStyle
public java.util.Date getCreated()
public void setCreated(java.util.Date created)
public boolean isFavoured()
public void setFavoured(boolean favoured)
public Interaction.InteractionGraphicStyle getGraphicalStyle()
Copyright © 2003-2019 The KeY-Project.