coins.flow
インタフェース ExpVector

すべてのスーパーインタフェース:
BitVector
既知のサブインタフェースの一覧:
FlowAnalSymVector
既知の実装クラスの一覧:
ExpVectorImpl, FlowAnalSymVectorImpl

public interface ExpVector
extends BitVector

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


メソッドの概要
 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()
           
 
インタフェース coins.flow.BitVector から継承したメソッド
bitVectorIterator, equals, getBit, getBitLength, getVectorWord, getWordLength, isSet, isZero, resetBit, setBit, toString, toStringDescriptive, vectorAnd, vectorCopy, vectorEqual, vectorNot, vectorOr, vectorReset, vectorSub, vectorXor
 

メソッドの詳細

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