Package com.ibm.wala.util.intset
Interface IBinaryNaturalRelation
-
- All Superinterfaces:
java.lang.Iterable<IntPair>
,VerboseAction
- All Known Implementing Classes:
BasicNaturalRelation
public interface IBinaryNaturalRelation extends VerboseAction, java.lang.Iterable<IntPair>
a relation R(x,y) where x >= 0
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
add(int x, int y)
Add (x,y) to the relationboolean
anyRelated(int x)
boolean
contains(int x, int y)
IntSet
getRelated(int x)
int
getRelatedCount(int x)
int
maxKeyValue()
void
remove(int x, int y)
void
removeAll(int x)
-
Methods inherited from interface com.ibm.wala.util.debug.VerboseAction
performVerboseAction
-
-
-
-
Method Detail
-
add
boolean add(int x, int y)
Add (x,y) to the relation- Returns:
- true iff the relation changes as a result of this call.
-
getRelated
IntSet getRelated(int x)
- Returns:
- IntSet of y s.t. R(x,y) or null if none.
-
getRelatedCount
int getRelatedCount(int x)
- Returns:
- number of y s.t. R(x,y)
-
anyRelated
boolean anyRelated(int x)
- Returns:
- true iff there exists pair (x,y) for some y
-
remove
void remove(int x, int y)
-
removeAll
void removeAll(int x)
-
contains
boolean contains(int x, int y)
- Returns:
- true iff (x,y) \in R
-
maxKeyValue
int maxKeyValue()
-
-