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

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

Set a binary digit

Parameters:
i zero-based index of the element

Definition at line 125 of file BitVector.h.

References m_bits, m_size, and setSize().

Referenced by LtlFuture::expand(), LtlUntil::expand(), LtlIff::expand(), LtlJunct::expand(), LtlAtom::expand(), and LtlGraph::LtlGraph().

                                {
    if (i >= m_size)
      setSize (i + 1);
    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