java.lang.Iterable<java.util.Map.Entry<S,ValuationSet>>
@Deprecated public class TranSet<S> extends java.lang.Object implements java.lang.Iterable<java.util.Map.Entry<S,ValuationSet>>
Constructor | Description |
---|---|
TranSet(ValuationSetFactory f) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
void |
addAll(TranSet<S> other) |
Deprecated.
|
<T extends S> |
addAll(T state,
ValuationSet vs) |
Deprecated.
|
java.util.Map<S,ValuationSet> |
asMap() |
Deprecated.
|
boolean |
containsAll(java.lang.Object state,
ValuationSet vs) |
Deprecated.
|
boolean |
containsAll(TranSet<S> other) |
Deprecated.
|
TranSet<S> |
copy() |
Deprecated.
|
boolean |
equals(java.lang.Object o) |
Deprecated.
|
void |
forEach(java.util.function.Consumer<? super java.util.Map.Entry<S,ValuationSet>> action) |
Deprecated.
|
int |
hashCode() |
Deprecated.
|
boolean |
intersects(TranSet<? super S> other) |
Deprecated.
|
boolean |
isEmpty() |
Deprecated.
|
java.util.Iterator<java.util.Map.Entry<S,ValuationSet>> |
iterator() |
Deprecated.
|
void |
removeAll(TranSet<S> other) |
Deprecated.
|
void |
removeAll(S state,
ValuationSet vs) |
Deprecated.
|
java.lang.String |
toString() |
Deprecated.
|
TranSet<S> |
union(TranSet<S> other) |
Deprecated.
|
public TranSet(ValuationSetFactory f)
public <T extends S> void addAll(T state, ValuationSet vs)
public java.util.Map<S,ValuationSet> asMap()
public boolean containsAll(java.lang.Object state, ValuationSet vs)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public void forEach(java.util.function.Consumer<? super java.util.Map.Entry<S,ValuationSet>> action)
forEach
in interface java.lang.Iterable<S>
public int hashCode()
hashCode
in class java.lang.Object
public boolean isEmpty()
public java.util.Iterator<java.util.Map.Entry<S,ValuationSet>> iterator()
iterator
in interface java.lang.Iterable<S>
public void removeAll(S state, ValuationSet vs)
public java.lang.String toString()
toString
in class java.lang.Object