Logo Search packages:      
Sourcecode: lbt version File versions  Download package

unsigned BitVector::nonzero (  )  const [inline]

Determine whether the whole vector is filled with zero bits

Returns:
0 if all bits in the vector are clear; index of a nonzero entry + 1 otherwise

Definition at line 144 of file BitVector.h.

References findNext(), and m_size.

Referenced by LtlGraph::LtlGraph(), printGates(), and translateFormula().

                            {
    if (!m_size)
      return 0;
    return findNext (0);
  }


Generated by  Doxygen 1.6.0   Back to index