coins.aflow
Interface ExpVector

All Superinterfaces:

BitVector

All Known Implementing Classes:

ExpVectorImpl

public interface ExpVector

extends BitVector

ExpVector interface An ExpVector is a BitVector each of whose bit corresponds to a FlowExpId.

Method Summary

boolean	contains(FlowExpId pFlowExpId) Returns true if this ExpVector's bit corresponding to the given argument pFlowExpId is set.
java.util.Set	exps() Returns the Set of FlowExpIds whose corresponding bits are set in this ExpVector.
ExpVectorIterator	expVectorIterator()
SubpFlow	getSubpFlow() SubpFlow instance associated with this ExpVector.
java.lang.String	toStringShort()

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

getSubpFlow

public SubpFlow getSubpFlow()

SubpFlow instance associated with this ExpVector.

exps

public java.util.Set exps()

Returns the Set of FlowExpIds whose corresponding bits are set in this ExpVector.

contains

public boolean contains(FlowExpId pFlowExpId)

Returns true if this ExpVector's bit corresponding to the given argument pFlowExpId is set. Returns false otherwise.

expVectorIterator

public ExpVectorIterator expVectorIterator()

toStringShort

public java.lang.String toStringShort()