public static class PointsToDomain.Universe extends java.lang.Object implements Domain
Domain,
NullDomain,
PointsToDomain,
PointsToAnalysis| Modifier and Type | Method and Description |
|---|---|
PointsToDomain.Universe |
clone()
Clones the domain.
|
Domain |
diffStrong(Domain other)
Returns the result of strong difference.
|
Domain |
diffWeak(Domain other)
Returns the result of weak difference.
|
boolean |
equals(Domain other)
Checks if the other domain is equal to the current domain.
|
static PointsToDomain.Universe |
getUniverse() |
Domain |
intersect(Domain other)
Returns intersection of the two domains.
|
void |
kill(java.util.Set<Symbol> vars)
Kills the data containing the specified set of symbols.
|
Domain |
merge(Domain other)
Returns merge of the two domains (join operation).
|
java.lang.String |
toString() |
Domain |
union(Domain other)
Returns union of the two domains if applicable.
|
public Domain union(Domain other)
Domainpublic Domain merge(Domain other)
Domainpublic Domain intersect(Domain other)
Domainpublic Domain diffStrong(Domain other)
DomaindiffStrong in interface Domainother - the domain to be subtracted.public Domain diffWeak(Domain other)
Domainpublic void kill(java.util.Set<Symbol> vars)
Domainpublic boolean equals(Domain other)
Domainpublic static PointsToDomain.Universe getUniverse()
public PointsToDomain.Universe clone()
Domainpublic java.lang.String toString()
toString in class java.lang.Object