coins.aflow
Interface ExpVectorIterator

All Superinterfaces:

BitVectorIterator

All Known Implementing Classes:

ExpVectorIteratorImpl

public interface ExpVectorIterator

extends BitVectorIterator

ExpVectorIterator interface: (##6) Interface to traverse all expressions that has true bit in specified ExpVector.

Method Summary

FlowExpId

nextFlowExpId() nextFlowAnalSym: Get the next FlowAnalSym symbol that has true bit in the given ExpVector.

Methods inherited from interface coins.aflow.util.BitVectorIterator

currentIndex, hasNext, next, nextIndex, resetBit, setBit

Method Detail

nextFlowExpId

public FlowExpId nextFlowExpId()

nextFlowAnalSym: Get the next FlowAnalSym symbol that has true bit in the given ExpVector. FlowAnalSym that have false bit in the ExpVector are skipped. If the last FlowAnalSym has false bit , then null is returned at the last time. Therefore, having hasNext returned true does not guarantee this method returns meaningful (non-null) value.