|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
ExpVector interface
An ExpVector is a BitVector each of whose bit corresponds to a FlowExpId.
| メソッドの概要 | |
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()
|
| インタフェース coins.aflow.util.BitVector から継承したメソッド |
bitVectorIterator, equals, getBit, getBitLength, getVectorWord, getWordLength, isSet, isZero, resetBit, setBit, toString, toStringDescriptive, vectorAnd, vectorCopy, vectorEqual, vectorNot, vectorOr, vectorReset, vectorSub, vectorXor |
| メソッドの詳細 |
public SubpFlow getSubpFlow()
public java.util.Set exps()
Set of FlowExpIds whose corresponding bits are set in this ExpVector.
public boolean contains(FlowExpId pFlowExpId)
true if this ExpVector's bit corresponding to the given argument pFlowExpId is set. Returns false otherwise.
public ExpVectorIterator expVectorIterator()
public java.lang.String toStringShort()
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||