Interface IBinaryNaturalRelation
- All Superinterfaces:
Iterable<IntPair>
,VerboseAction
- All Known Implementing Classes:
BasicNaturalRelation
a relation R(x,y) where x >= 0
-
Method Summary
Modifier and TypeMethodDescriptionboolean
add
(int x, int y) Add (x,y) to the relationboolean
anyRelated
(int x) boolean
contains
(int x, int y) getRelated
(int x) int
getRelatedCount
(int x) int
void
remove
(int x, int y) void
removeAll
(int x) Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator
Methods inherited from interface com.ibm.wala.util.debug.VerboseAction
performVerboseAction
-
Method Details
-
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
- 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()
-