public class SymbolicLayout extends AbstractElement implements ISymbolicLayout
ISymbolicLayout
.Modifier and Type | Field and Description |
---|---|
private ImmutableList<ISymbolicEquivalenceClass> |
equivalenceClasses
The contained
ISymbolicEquivalenceClass . |
private ImmutableList<ISymbolicObject> |
objects
The contained
ISymbolicObject s. |
private ISymbolicState |
state
The
ISymbolicState . |
Constructor and Description |
---|
SymbolicLayout(IModelSettings settings,
ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
addObject(ISymbolicObject object)
Adds a new
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
ISymbolicState . |
formatTerm, getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSettings
private final ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses
ISymbolicEquivalenceClass
.private ISymbolicState state
ISymbolicState
.private ImmutableList<ISymbolicObject> objects
ISymbolicObject
s.public SymbolicLayout(IModelSettings settings, ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses)
equivalenceClasses
- The provided equivalence classes.settings
- The IModelSettings
to use.public ISymbolicState getState()
getState
in interface ISymbolicLayout
public void setState(ISymbolicState state)
ISymbolicState
.state
- The ISymbolicState
to set.public ImmutableList<ISymbolicObject> getObjects()
getObjects
in interface ISymbolicLayout
public void addObject(ISymbolicObject object)
ISymbolicObject
.value
- The new ISymbolicObject
to add.public ImmutableList<ISymbolicEquivalenceClass> getEquivalenceClasses()
getEquivalenceClasses
in interface ISymbolicLayout