coins.aflow
Interface DefVector

All Superinterfaces:

BitVector, PointVector

All Known Implementing Classes:

DefVectorImpl

public interface DefVector

extends PointVector

DefVector interface A bit in this BitVector corresponds to a SetRefRepr. The bit length corresponds to the number of SetRefReprs in a SubpFlow.

Method Summary

boolean	contains(SetRefRepr pSetRefRepr) Returns true if this DefVector's bit corresponding to the given argument is set.
DefVectorIterator	defVectorIterator()
java.util.Set	getSetRefReprs() Returns the Set view of this DefVector (in terms of the set of SetRefReprs).

Methods inherited from interface coins.aflow.PointVector

getSubpFlow

Methods inherited from interface coins.aflow.util.BitVector

bitVectorIterator, equals, getBit, getBitLength, getVectorWord, getWordLength, isSet, isZero, resetBit, setBit, toString, toStringDescriptive, vectorAnd, vectorCopy, vectorEqual, vectorNot, vectorOr, vectorReset, vectorSub, vectorXor

Method Detail

getSetRefReprs

public java.util.Set getSetRefReprs()

Returns the Set view of this DefVector (in terms of the set of SetRefReprs).

contains

public boolean contains(SetRefRepr pSetRefRepr)

Returns true if this DefVector's bit corresponding to the given argument is set.

defVectorIterator

public DefVectorIterator defVectorIterator()