|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EqualityMap | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
tip.util | Provides utility classes for the TIP compiler. |
Uses of EqualityMap in tip.cfg |
---|
Methods in tip.cfg that return EqualityMap | |
---|---|
EqualityMap<A,L> |
MapLattice.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. |
EqualityMap<A,L> |
MapLattice.getSmallestElement()
Returns the smallest element of this map lattice. |
Methods in tip.cfg with parameters of type EqualityMap | |
---|---|
boolean |
MapLattice.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. |
boolean |
MapLattice.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. |
EqualityMap<A,L> |
MapLattice.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. |
EqualityMap<A,L> |
MapLattice.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. |
int |
MapLattice.hashCode(EqualityMap<A,L> a)
Returns the hashcode for the map a according to this map lattice. |
Uses of EqualityMap in tip.cfg.dfa |
---|
Uses of EqualityMap in tip.util |
---|
Methods in tip.util that return EqualityMap | |
---|---|
EqualityMap<K,V> |
EqualityMap.clone()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |