public static class SymbolicLayoutReader.KeYlessLayout extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicLayout
ISymbolicLayout
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private ImmutableList<ISymbolicEquivalenceClass> |
equivalenceClasses
The symbolic equivalence classes.
|
private ImmutableList<ISymbolicObject> |
objects
The objects.
|
private ISymbolicState |
state
The state.
|
Constructor and Description |
---|
KeYlessLayout() |
Modifier and Type | Method and Description |
---|---|
void |
addEquivalenceClass(ISymbolicEquivalenceClass ec)
Add a new child
ISymbolicEquivalenceClass . |
void |
addObject(ISymbolicObject object)
Add a new child
ISymbolicObject . |
ImmutableList<ISymbolicEquivalenceClass> |
getEquivalenceClasses()
Returns the equivalence classes.
|
ImmutableList<ISymbolicObject> |
getObjects()
Returns all available symbolic objects.
|
ISymbolicState |
getState()
Returns the symbolic state.
|
void |
setState(ISymbolicState state)
Sets the state.
|
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSettings
private ISymbolicState state
private ImmutableList<ISymbolicObject> objects
private ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses
public ISymbolicState getState()
getState
in interface ISymbolicLayout
public void setState(ISymbolicState state)
state
- The state to set.public ImmutableList<ISymbolicObject> getObjects()
getObjects
in interface ISymbolicLayout
public void addObject(ISymbolicObject object)
ISymbolicObject
.object
- The ISymbolicObject
to add.public ImmutableList<ISymbolicEquivalenceClass> getEquivalenceClasses()
getEquivalenceClasses
in interface ISymbolicLayout
public void addEquivalenceClass(ISymbolicEquivalenceClass ec)
ISymbolicEquivalenceClass
.object
- The ISymbolicEquivalenceClass
to add.