public abstract class AbstractElement extends java.lang.Object implements ISymbolicElement
ISymbolicElement
.Constructor and Description |
---|
AbstractElement(IModelSettings settings)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
formatTerm(Term term,
Services services)
|
IModelSettings |
getSettings()
Returns the
IModelSettings to use. |
public AbstractElement(IModelSettings settings)
settings
- The IModelSettings
to use.public IModelSettings getSettings()
IModelSettings
to use.getSettings
in interface ISymbolicElement
IModelSettings
to use.Copyright © 2003-2019 The KeY-Project.