coins.flow
Interface ExpVector

All Superinterfaces:

BitVector

All Known Subinterfaces:

FlowAnalSymVector

All Known Implementing Classes:

ExpVectorImpl, FlowAnalSymVectorImpl

public interface ExpVector

extends BitVector

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

Method Summary

boolean	contains(ExpId pExpId) Returns true if this ExpVector's bit corresponding to the given argument pExpId is set.
java.util.Set	exps() Returns the Set of ExpIds 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.flow.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 ExpIds whose corresponding bits are set in this ExpVector.

contains

public boolean contains(ExpId pExpId)

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

expVectorIterator

public ExpVectorIterator expVectorIterator()

toStringShort

public java.lang.String toStringShort()