public final class ValuationSetMapUtil
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <K> void |
add(java.util.Map<K,ValuationSet> map,
K key,
ValuationSet valuations) |
|
static <K> java.util.Set<K> |
findAll(java.util.Map<K,ValuationSet> map,
java.util.BitSet valuation) |
|
static <K> K |
findFirst(java.util.Map<K,ValuationSet> map,
java.util.BitSet valuation) |
|
static <K> K |
findOnly(java.util.Map<K,ValuationSet> map,
java.util.BitSet valuation) |
|
static <S> void |
remove(java.util.Map<Edge<S>,ValuationSet> map,
java.util.function.Predicate<? super S> predicate) |
|
static <S> void |
remove(java.util.Map<Edge<S>,ValuationSet> map,
Edge<S> edge,
ValuationSet valuations) |
|
static <S> void |
remove(java.util.Map<Edge<S>,ValuationSet> map,
ValuationSet valuations) |
|
static <S> void |
remove(java.util.Map<Edge<S>,ValuationSet> map,
S state,
ValuationSet valuations) |
|
static <K> void |
update(java.util.Map<K,ValuationSet> map,
java.util.function.Function<K,K> keyUpdater) |
|
static <S> java.util.Collection<S> |
viewSuccessors(java.util.Map<Edge<S>,ValuationSet> map) |
public static <K> void add(java.util.Map<K,ValuationSet> map, K key, ValuationSet valuations)
public static <K> java.util.Set<K> findAll(java.util.Map<K,ValuationSet> map, java.util.BitSet valuation)
@Nullable public static <K> K findFirst(java.util.Map<K,ValuationSet> map, java.util.BitSet valuation)
@Nullable public static <K> K findOnly(java.util.Map<K,ValuationSet> map, java.util.BitSet valuation)
public static <S> void remove(java.util.Map<Edge<S>,ValuationSet> map, java.util.function.Predicate<? super S> predicate)
public static <S> void remove(java.util.Map<Edge<S>,ValuationSet> map, S state, ValuationSet valuations)
public static <S> void remove(java.util.Map<Edge<S>,ValuationSet> map, Edge<S> edge, ValuationSet valuations)
public static <S> void remove(java.util.Map<Edge<S>,ValuationSet> map, ValuationSet valuations)
public static <K> void update(java.util.Map<K,ValuationSet> map, java.util.function.Function<K,K> keyUpdater)
public static <S> java.util.Collection<S> viewSuccessors(java.util.Map<Edge<S>,ValuationSet> map)