bitvector

0зной

1ответ

Как хранятся данные в битовом векторе?

Я немного смущен, как фиксированный размер битового вектора хранит свои данные. Предположим, что у нас есть бит-вектор bv, который я хочу сохранить hello в качестве ASCII. Таким образом, мы делаем bv[

data-structures language-agnostic bitvector 2013-05-23

---

4зной

1ответ

Как реализовать массив битвекторов в API Python z3

Я новичок в z3py и проходил через the Z3 API in Python, но не мог понять, как определить массив битвекторов. Я хочу что-то вроде: DOT__mem[16] = BitVec('DOT__mem[16]', 8) , но этот синтаксис не рабо

python arrays z3 bitvector 2013-02-16

---

52зной

6ответ

Почему вектор <bool> не контейнер STL?

Пункт 18 книги Скотта Мейерса Эффективный STL: 50 конкретных способов улучшить использование стандартной библиотеки шаблонов говорит, чтобы избежать vector <bool>, поскольку он не является контейнером

c++ vector stl containers bitvector 2013-07-22

---

2зной

5ответ

Расстояние между двумя битовыми векторами в LISP

У меня проблема с расчетом расстояния между двумя битовыми векторами с использованием общего lisp. Я совершенно новый для lisp, и это последняя проблема Homework для моей домашней работы по искусствен

common-lisp bitvector 2014-02-09

---

1зной

2ответ

VHDL: Как проверить выбранные биты вектора

Мне интересно, есть ли способ проверить только интересующие меня биты std logic вектор в VHDL. Моя новая попытка выглядит примерно так: IF (vectorname = "1-00") THEN action END IF; Мне здесь тол

vhdl boolean-logic bitvector 2013-02-27

---

1зной

1ответ

(Z3Py) Конкат, кванторы и бит-векторы

Можно ли использовать кванторы с битовыми векторами и конкатенациями? Чтобы проиллюстрировать это, выполнив следующий код в новейшей Z3: a = BitVec('a', 8) b = Concat(BitVec('b', 4), BitVec('c', 4))

python z3 bitvector 2013-04-27

---

5зной

4ответ

Определение строки имеет все уникальные символы без использования дополнительных структур данных и без строчных символов предположения

Это один из вопросов в Cracking the Coding Interview book по Гейл Laakmann Макдауэлл: Реализовать алгоритм, чтобы определить, является ли строка имеет все уникальные персонажи. Что делать, если вы не

java string algorithm bit-manipulation bitvector 2014-01-11

---

3зной

2ответ

Реализовать битвектор C++ в проекте ios в xcode

Мне интересно, как правильно реализовать bitVector в проекте iOS, используя xcode. Я довольно новичок в iOS и только что узнал, что могу использовать битвектор C++ в своем проекте. Любое руководство б

c++ ios objective-c bitvector 2013-03-20

---

-1зной

1ответ

Чтение бит из массива char

У меня есть функция, которая берет буфер размером 2kB и загружает в него определенный контент. Я могу предположить, что функция работает правильно, но я не могу ее протестировать. Функции Прототип int

c++ arrays bitvector 2014-01-21

---