|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.IntersectionSetLattice<L>
L
- the type of the elements in the setpublic class IntersectionSetLattice<L>
IntersectionSetLattice
defines a set lattice with elements of type
L
and with intersection as least-upper-bound operator. This is used
for must-analyses over sets.
UnionSetLattice
defines a lattice whos elements are
EqualitySet
sets with L
as the type of the elements.
Constructor Summary | |
---|---|
IntersectionSetLattice(Collection<L> set)
Creates a new IntersectionSetLattice using the
IdentityEqualitor as equalitor used for element equality. |
|
IntersectionSetLattice(Collection<L> set,
Equalitor<L> equalitor)
Creates a new IntersectionSetLattice 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 IntersectionSetLattice(Collection<L> set)
IntersectionSetLattice
using the
IdentityEqualitor
as equalitor used for element equality. The
least element of the lattice is set
.
set
- the least element set
IllegalArgumentException
- if no set is providedpublic IntersectionSetLattice(Collection<L> set, Equalitor<L> equalitor)
IntersectionSetLattice
using the equalitor
as Equalitor
used for element equality. The least element of the
lattice is set
.
set
- the least element setequalitor
- the Equalitor
used for element equality
IllegalArgumentException
- if no set or 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 intersection
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 |