|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.MapLattice<A,L>
A
- the type of the elements in the domain setL
- the type of the elements in the range latticepublic class MapLattice<A,L>
MapLattice
defines a map lattice, A → L, from a
fixed set, A, containing the elements of the domain, and a lattice,
L, for the range elements.
Constructor Summary | |
---|---|
MapLattice(Collection<A> domainSet,
Lattice<L> rangeLattice)
Creates a new map lattice using rangeLattice as the lattice for
range elements and domainSet as the domain set. |
|
MapLattice(EqualitySet<A> domainSet,
Lattice<L> rangeLattice)
Creates a new map lattice using rangeLattice as the lattice for
range elements and domainSet as the domain set. |
Method Summary | |
---|---|
boolean |
equals(EqualityMap<A,L> a,
EqualityMap<A,L> b)
Returns true if the maps a and b represent the
same element in this map lattice. |
Equalitor<A> |
getDomainEqualitor()
Returns the Equalitor used for the domain elements. |
EqualityMap<A,L> |
getLeastUpperBound(EqualityMap<A,L> a,
EqualityMap<A,L> b)
Returns the least upper bound of the maps a and b
according to this map lattice. |
Lattice<L> |
getRangeLattice()
Returns the Lattice for the range elements. |
EqualityMap<A,L> |
getSmallestElement()
Returns the smallest element of this map lattice. |
int |
hashCode(EqualityMap<A,L> a)
Returns the hashcode for the map a according to this map lattice. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MapLattice(Collection<A> domainSet, Lattice<L> rangeLattice)
rangeLattice
as the lattice for
range elements and domainSet
as the domain set. The equalitor for
the domain elements will be the IdentityEqualitor
.
domainSet
- the set of elements in the domainrangeLattice
- the lattice for the range elementpublic MapLattice(EqualitySet<A> domainSet, Lattice<L> rangeLattice)
rangeLattice
as the lattice for
range elements and domainSet
as the domain set. The equalitor for
the domain elements will be the equalitor from domainSet
.
domainSet
- the set of elements in the domainrangeLattice
- the lattice for the range elementMethod Detail |
---|
public Equalitor<A> getDomainEqualitor()
Equalitor
used for the domain elements.
Equalitor
used for the domain elementspublic Lattice<L> getRangeLattice()
Lattice
for the range elements.
Lattice
for for the range elements.public EqualityMap<A,L> getSmallestElement()
getSmallestElement
in interface Lattice<EqualityMap<A,L>>
public EqualityMap<A,L> getLeastUpperBound(EqualityMap<A,L> a, EqualityMap<A,L> b)
a
and b
according to this map lattice.
getLeastUpperBound
in interface Lattice<EqualityMap<A,L>>
a
- the first mapb
- the second map
a
and b
according to this map latticepublic boolean equals(EqualityMap<A,L> a, EqualityMap<A,L> b)
true
if the maps a
and b
represent the
same element in this map lattice.
equals
in interface Equalitor<EqualityMap<A,L>>
a
- the first mapb
- the second map
true
if the maps a
and b
represent the
same element in this map latticepublic int hashCode(EqualityMap<A,L> a)
a
according to this map lattice.
hashCode
in interface Equalitor<EqualityMap<A,L>>
a
- the map in question
a
according to this map lattice
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |