Model for the conjecturing window.
addResult
public void addResult(Expression expression)
fireEngineChanged
protected void fireEngineChanged()
fireEngineConfigurationChanged
protected void fireEngineConfigurationChanged()
fireFilterChanged
protected void fireFilterChanged()
fireNameChanged
protected void fireNameChanged()
getName
public String getName()
Get the name of this object.
- getName in interface HasName
isNameEditable
public boolean isNameEditable()
Is the name of this object editable.
- isNameEditable in interface HasName
- true if the name can be changed with the method
setName
.
setName
public void setName(String name)
Set the name of this object.
- setName in interface HasName
writeStateToHistory
public void writeStateToHistory()