coins.aflow
インタフェース DefVector
- すべてのスーパーインタフェース:
- BitVector, PointVector
- 既知の実装クラスの一覧:
- 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 SetRefRepr
s in a SubpFlow
.
インタフェース coins.aflow.util.BitVector から継承したメソッド |
bitVectorIterator, equals, getBit, getBitLength, getVectorWord, getWordLength, isSet, isZero, resetBit, setBit, toString, toStringDescriptive, vectorAnd, vectorCopy, vectorEqual, vectorNot, vectorOr, vectorReset, vectorSub, vectorXor |
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()