E
- Domain class of the mapsF
- Range class of the mapspublic class MapTools<E,F>
extends java.lang.Object
Constructor and Description |
---|
MapTools() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Map<E,F>> |
allBijections(java.util.Collection<E> domain,
java.util.Collection<F> range)
Computes all bijections from E to F.
|
java.util.Set<java.util.Map<E,F>> |
allMaps(java.util.Map<java.util.Set<E>,java.util.Set<F>> relations)
Computes the complete set of maps from E to F such that the following
condition holds.
|
java.util.Set<java.util.Map<E,F>> |
allMaps(java.util.Set<? extends E> domain,
java.util.Set<? extends F> range)
This methods computes all maps from domain to range.
|
java.util.Set<java.util.Map<E,F>> |
allMapsSingleSource(java.util.Map<E,java.util.Set<F>> relations)
Computes the complete set of maps from E to F such that the following
condition holds.
|
java.util.Map<E,F> |
combine(java.util.Set<java.util.Map<E,F>> singleMaps)
Combines all maps in singleMaps to one maps containing
every assignment of each map in singleMaps.
|
static boolean |
isInjective(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> map)
Checks whether the given map is injective, i.e.
|
public java.util.Set<java.util.Map<E,F>> allMaps(java.util.Map<java.util.Set<E>,java.util.Set<F>> relations)
relations
- a map from sets of E to sets of F.public java.util.Set<java.util.Map<E,F>> allMapsSingleSource(java.util.Map<E,java.util.Set<F>> relations)
relations
- a map from sets of E to sets of F.public java.util.Set<java.util.Map<E,F>> allBijections(java.util.Collection<E> domain, java.util.Collection<F> range)
domain
- some set.range
- some set.public java.util.Set<java.util.Map<E,F>> allMaps(java.util.Set<? extends E> domain, java.util.Set<? extends F> range)
domain
- a set of elements.range
- a set of elementspublic java.util.Map<E,F> combine(java.util.Set<java.util.Map<E,F>> singleMaps) throws java.lang.IllegalArgumentException
singleMaps
- the set of maps to be combined.java.lang.IllegalArgumentException
- if one key is used
in more than one map of singleMaps.public static boolean isInjective(java.util.Map<? extends java.lang.Object,? extends java.lang.Object> map)
map
- a map