edu.rice.cs.plt.collect
Class AbstractFunctionalRelation.InverseFunctionalRelation

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet<T>
          edu.rice.cs.plt.collect.AbstractPredicateSet<Pair<T2,T1>>
              edu.rice.cs.plt.collect.AbstractRelation.InverseRelation
                  edu.rice.cs.plt.collect.AbstractFunctionalRelation.InverseFunctionalRelation

All Implemented Interfaces:

InjectiveRelation<T2,T1>, PredicateSet<Pair<T2,T1>>, Relation<T2,T1>, SizedIterable<Pair<T2,T1>>, Predicate<java.lang.Object>, Predicate2<T2,T1>, java.io.Serializable, java.lang.Iterable<Pair<T2,T1>>, java.util.Collection<Pair<T2,T1>>, java.util.Set<Pair<T2,T1>>

Direct Known Subclasses:

AbstractOneToOneRelation.InverseOneToOneRelation

Enclosing class:

AbstractFunctionalRelation<T1,T2>

protected class AbstractFunctionalRelation.InverseFunctionalRelation
extends AbstractRelation.InverseRelation
implements InjectiveRelation<T2,T1>

An inverse of the enclosing relation. Extends AbstractRelation.InverseRelation with the methods necessary to implement InjectiveRelation.

See Also:

Serialized Form

Constructor Summary

protected

AbstractFunctionalRelation.InverseFunctionalRelation()

Method Summary

T2	antecedent(T1 second) Produce the first corresponding to second, or null if there is none.
LambdaMap<T1,T2>	injectionMap() A map view of the relation, mapping seconds to firsts.
FunctionalRelation<T1,T2>	inverse() Produce the inverse of the relation, derived by swapping the elements of each pair.

Methods inherited from class edu.rice.cs.plt.collect.AbstractRelation.InverseRelation

add, add, clear, contains, contains, containsFirst, containsSecond, excludeFirsts, excludeSeconds, firstSet, hasFixedSize, isEmpty, isInfinite, isStatic, iterator, matchFirst, matchSecond, remove, remove, secondSet, size, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.rice.cs.plt.collect.InjectiveRelation

add, add, matchSecond

Methods inherited from interface edu.rice.cs.plt.collect.Relation

contains, contains, containsFirst, containsSecond, excludeFirsts, excludeSeconds, firstSet, matchFirst, remove, remove, secondSet

Methods inherited from interface java.util.Set

addAll, clear, containsAll, equals, hashCode, isEmpty, iterator, removeAll, retainAll, size, toArray, toArray

Methods inherited from interface edu.rice.cs.plt.iter.SizedIterable

hasFixedSize, isEmpty, isInfinite, isStatic, size, size

Constructor Detail

AbstractFunctionalRelation.InverseFunctionalRelation

protected AbstractFunctionalRelation.InverseFunctionalRelation()

Method Detail

antecedent

public T2 antecedent(T1 second)

Description copied from interface: InjectiveRelation

Produce the first corresponding to second, or null if there is none.

Specified by:

antecedent in interface InjectiveRelation<T2,T1>

injectionMap

public LambdaMap<T1,T2> injectionMap()

Description copied from interface: InjectiveRelation

A map view of the relation, mapping seconds to firsts. Need not allow mutation, but must reflect subsequent changes.

Specified by:

injectionMap in interface InjectiveRelation<T2,T1>

inverse

public FunctionalRelation<T1,T2> inverse()

Description copied from interface: Relation

Produce the inverse of the relation, derived by swapping the elements of each pair. Need not allow mutation, but must reflect subsequent changes.

Specified by:

inverse in interface InjectiveRelation<T2,T1>

Specified by:

inverse in interface Relation<T2,T1>

Overrides:

inverse in class AbstractRelation.InverseRelation