coins.aflow
Interface FlowAnalSymVector

All Superinterfaces:

BitVector

All Known Implementing Classes:

FlowAnalSymVectorImpl

public interface FlowAnalSymVector

extends BitVector

BitVector class where each bit represents a FlowAnalSym.

Method Summary

boolean	addAll(java.util.Set pFlowAnalSyms) Adds the FlowAnalSymVector view of the given set to this vector.
boolean	contains(FlowAnalSym pFlowAnalSym) Does the set view of this vector contains the specified item?
java.util.Set	flowAnalSyms() Returns the set view of this vector.
ExpVector	flowAnalSymToExpVector()
FlowAnalSymVectorIterator	flowAnalSymVectorIterator()
SubpFlow	getSubpFlow() Returns a SubpFlow instance associated with this vector.
boolean	remove(FlowAnalSym pFlowAnalSym) Removes the given argument from the set view of this vector.
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()

Returns a SubpFlow instance associated with this vector.

flowAnalSyms

public java.util.Set flowAnalSyms()

Returns the set view of this vector.

contains

public boolean contains(FlowAnalSym pFlowAnalSym)

Does the set view of this vector contains the specified item?

remove

public boolean remove(FlowAnalSym pFlowAnalSym)

Removes the given argument from the set view of this vector. The corresponding bit in this vector will be reset.

Returns:

true if actually the given argument existed and has been removed.

addAll

public boolean addAll(java.util.Set pFlowAnalSyms)

Adds the FlowAnalSymVector view of the given set to this vector.

Returns:

true if this vector changed after the operation.

flowAnalSymVectorIterator

public FlowAnalSymVectorIterator flowAnalSymVectorIterator()

flowAnalSymToExpVector

public ExpVector flowAnalSymToExpVector()

toStringShort

public java.lang.String toStringShort()