equivalence

1зной

1ответ

Тестирование - Обобщение разделов эквивалентности/анализ границ данных, имеющих переменные границы

У меня есть входное значение. Я хочу проверить, где допустимый диапазон равен 1..n (n - переменная, но всегда положительная). Чтобы дать ему некоторый контекст, n - количество товара на складе в любое

testing equivalence black-box-testing 2014-02-10

---

3зной

1ответ

Использование эквивалентности в контексте для принудительного уменьшения

Настройка для этого вопроса - это то же самое «объединение списков отсортированных списков» из этого earlier question. {-# OPTIONS --sized-types #-} open import Relation.Binary open import Relation

pattern-matching proof reduction agda equivalence 2014-02-11

---

-1зной

1ответ

Символ C++, равный размаху Matlab

Есть ли какой-либо cpp-эквивалент randsample в Matlab. Функция randsample в Matlab выглядит следующим образом: y = randsample(n,k,true,w) , который возвращает взвешенный образец взятый с заменой, ис

c++ matlab equivalence 2014-05-27

---

1зной

1ответ

Является ли домен и диапазон сова: equalClass rdfs: класс или сова: класс?

Домен и диапазон сова: equalClass вызывает некоторые вопросы, на которые я не смог найти ответы. Прежде всего, в OWL домен и диапазон значений owl: equalClass заданы как rdfs: Class. Этот домен и диап

semantic-web owl inference equivalence equivalence-classes 2014-10-31

---

1зной

1ответ

Проблема с утверждениями EQUIVALENCE в Fortran 77 Код

Я работаю над тем, чтобы работать с raytracing кодом, и я думаю, что я мог бы изолировать проблему. Я новичок в работе с Fortran 77, но хотел бы получить больше опыта с использованием этого языка (даж

fortran fortran77 equivalence fortran-common-block 2014-09-21

---

5зной

1ответ

Haskell проверка равенства функцией

В Haskell я могу использовать sortBy (comparing snd) сортировать по второму значению в кортеже. Есть ли эквивалентная функция для проверки эквивалентности? Я придумал это, но, может быть, есть что-т

haskell equivalence 2014-01-17

---

0зной

1ответ

Mysql для MongoDB и Query Эквивалент этой схемы

Я имею сложную базу данных о местоположении со следующей схемой: table States id : INT PK AutoIncrement name : VarChar 50 UNIQUE table Counties id: INT PK AutoIncrement stateID : INT ForeignKey

mysql mongodb count grouping equivalence 2014-09-25

---

3зной

2ответ

В Matlab, как мне сравнить два объекта container.Map?

У меня есть два контейнера. Объекты с идентичными ключами и значениями. Есть функция Matlab, что собирается вернуться верно в следующем сценарии: >> m1 = containers.Map('hi', 'ho'); >> m2 = container

matlab containers equality equivalence 2014-09-26

---

5зной

1ответ

Тестирование эквивалентности с использованием оператора меньше?

Скажем, у меня есть два литерала типа «Т». Я бы хотел проверить, были ли они эквивалентными, но тип «T» имеет только оператор «меньше». Как я смогу проверить это на C++?

c++ comparison operator-keyword equivalence 2014-10-10

---