|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.UnionSetLattice<L>
L
- the type of the elements in the setpublic class UnionSetLattice<L>
UnionSetLattice
defines a set lattice with elements of type L
and with union as least-upper-bound operator. This is used for may-analyses
over sets.
UnionSetLattice
defines a lattice whos elements are
EqualitySet
sets with L
as the type of the elements.
Constructor Summary | |
---|---|
UnionSetLattice()
Creates a new UnionSetLattice using the IdentityEqualitor
as equalitor used for element equality. |
|
UnionSetLattice(Equalitor<L> equalitor)
Creates a new UnionSetLattice using the equalitor as
Equalitor used for element equality. |
Method Summary | |
---|---|
boolean |
equals(EqualitySet<L> a,
EqualitySet<L> b)
Returns true if the sets a and b represent the
same element in this set lattice. |
EqualitySet<L> |
getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
getSmallestElement()
Returns the smallest element of this set lattice. |
int |
hashCode(EqualitySet<L> a)
Returns the hashcode of the set a according to this set lattice. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public UnionSetLattice()
UnionSetLattice
using the IdentityEqualitor
as equalitor used for element equality.
public UnionSetLattice(Equalitor<L> equalitor)
UnionSetLattice
using the equalitor
as
Equalitor
used for element equality.
equalitor
- the Equalitor
used for element equality
IllegalArgumentException
- if no equalitor is providedMethod Detail |
---|
public boolean equals(EqualitySet<L> a, EqualitySet<L> b)
true
if the sets a
and b
represent the
same element in this set lattice.
equals
in interface Equalitor<EqualitySet<L>>
a
- the first setb
- the second set
true
if the sets a
and b
represent the
same element in this set latticepublic int hashCode(EqualitySet<L> a)
a
according to this set lattice.
hashCode
in interface Equalitor<EqualitySet<L>>
a
- the set in question
a
according to this set latticepublic EqualitySet<L> getSmallestElement()
getSmallestElement
in interface Lattice<EqualitySet<L>>
public EqualitySet<L> getLeastUpperBound(EqualitySet<L> a, EqualitySet<L> b)
a
and b
according to this set lattice. The least upper bound is the union of the
sets.
getLeastUpperBound
in interface Lattice<EqualitySet<L>>
a
- the first setb
- the second set
a
and b
according to this set lattice
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |