com.ibm.wala.util.intset

Interface IBinaryNaturalRelation

All Superinterfaces:

Iterable<IntPair>, VerboseAction

All Known Implementing Classes:

BasicNaturalRelation

public interface IBinaryNaturalRelation
extends VerboseAction, Iterable<IntPair>

a relation R(x,y) where x >= 0

Method Summary

Modifier and Type	Method and Description
boolean	add(int x, int y) Add (x,y) to the relation
boolean	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

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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()