public class StateExtras
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
StateExtras() |
protected |
StateExtras(StateExtras x) |
Modifier and Type | Method and Description |
---|---|
void |
addToDefaultMayMap(java.lang.String name,
java.util.Collection<ObjectLabel> labels)
Adds the given object labels to the 'default' of the map identified by name.
|
void |
addToMayMap(java.lang.String name,
java.lang.String key,
java.util.Collection<ObjectLabel> labels)
Adds the given key and set of object labels to the map identified by name.
|
void |
addToMaySet(java.lang.String name,
java.util.Collection<ObjectLabel> labels)
Adds a collection of object labels to a named may set.
|
boolean |
equals(java.lang.Object obj) |
void |
getAllObjectLabels(java.util.Set<ObjectLabel> live)
Adds all registered object labels to the given set.
|
java.util.Set<ObjectLabel> |
getFromMayMap(java.lang.String name,
java.lang.String key)
Retrieves a set of object labels from the named map given the key.
|
java.util.Set<ObjectLabel> |
getFromMaySet(java.lang.String name)
Returns the set of object labels identified by the given name.
|
java.util.Set<ObjectLabel> |
getValuesFromMayMap(java.lang.String name) |
int |
hashCode()
Computes the hash code for this object.
|
boolean |
isNone()
Checks whether the sets are empty.
|
protected boolean |
propagate(StateExtras s) |
void |
replaceObjectLabel(ObjectLabel oldlabel,
ObjectLabel newlabel)
Replaces oldlabel by newlabel in all object label sets.
|
void |
setToBottom()
Resets all maps.
|
java.lang.String |
toString()
Returns a description of the sets and maps.
|
protected StateExtras()
protected StateExtras(StateExtras x)
public void addToDefaultMayMap(java.lang.String name, java.util.Collection<ObjectLabel> labels)
public void addToMayMap(java.lang.String name, java.lang.String key, java.util.Collection<ObjectLabel> labels)
public void addToMaySet(java.lang.String name, java.util.Collection<ObjectLabel> labels)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public void getAllObjectLabels(java.util.Set<ObjectLabel> live)
public java.util.Set<ObjectLabel> getFromMayMap(java.lang.String name, java.lang.String key)
public java.util.Set<ObjectLabel> getFromMaySet(java.lang.String name)
public java.util.Set<ObjectLabel> getValuesFromMayMap(java.lang.String name)
public int hashCode()
hashCode
in class java.lang.Object
public boolean isNone()
protected boolean propagate(StateExtras s)
public void replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel)
public void setToBottom()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University