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

void BitVector::assign_false ( unsigned  i  )  [inline]

Clear a binary digit

Parameters:
i zero-based index of the element

Definition at line 135 of file BitVector.h.

References m_bits.

Referenced by LtlGraph::LtlGraph().

                                 {
    m_bits[i / (CHAR_BIT * sizeof (word_t))] &=
      ~(word_t (1) << (i % (CHAR_BIT * sizeof (word_t))));
  }


Generated by  Doxygen 1.6.0   Back to index