Package qilin.core.sets

Class PointsToSetInternal

java.lang.Object

qilin.core.sets.PointsToSetInternal

Direct Known Subclasses:

DoublePointsToSet, HybridPointsToSet

public abstract class PointsToSetInternal
extends Object

Abstract base class for implementations of points-to sets.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor	Description
PointsToSetInternal()

Method Summary

Modifier and Type	Method	Description
abstract boolean	add(int idx)	Adds node index idx to this set, returns true if idx was not already in this set.
abstract boolean	addAll(PointsToSetInternal other, PointsToSetInternal exclude)
abstract void	clear()
abstract boolean	contains(int idx)	Returns true iff the set contains the node number index.
abstract boolean	forall(P2SetVisitor v)	Calls v's visit method on all nodes in this set.
boolean	hasNonEmptyIntersection(PointsToSetInternal other)
abstract boolean	isEmpty()
abstract Iterator<Integer>	iterator()
abstract int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PointsToSetInternal

public PointsToSetInternal()

Method Details

forall

public abstract boolean forall(P2SetVisitor v)

Calls v's visit method on all nodes in this set.

addAll

public abstract boolean addAll(PointsToSetInternal other,
 PointsToSetInternal exclude)

add

public abstract boolean add(int idx)

Adds node index idx to this set, returns true if idx was not already in this set.

contains

public abstract boolean contains(int idx)

Returns true iff the set contains the node number index.

iterator

public abstract Iterator<Integer> iterator()

clear

public abstract void clear()

isEmpty

public abstract boolean isEmpty()

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSetInternal other)

size

public abstract int size()