Описание тега cnf
Common Navigator Framework - Eclipse platform provides this framework for tree based viewers
1
ответ
Python: Нужен инструмент проверки моделей и результаты конвертации в CNF
Я хотел бы протестировать мой код с помощью средства проверки моделей и сделать из него FSM автоматически. Для этого мне нужна программа проверки моделей и преобразования результатов FSM в CNF. Любой совет, как я могу сделать это в Python? Я знаю то…
02 июн '14 в 15:09
1
ответ
Конвертировать формулу в cnf python
Я хочу преобразовать формулу в CNF. Есть ли библиотека для этого? Это мой код Я создал много функций для преобразования любого (a или b) в формат CNF. Но если есть много предложений, это будет трудно, как (a > b) & (c & d) или нет (f) .. operator="&…
15 дек '18 в 17:43
0
ответов
Как получить общее содержимое навигатора?
Похоже, все содержимое представления Package Explorer предоставляется через Common Navigator Framework. Как я могу получить доступ к этим данным, хотя? Я хочу видеть имена всех проектов, файлов и методов внутри. Самое близкое, что я получил, это: IN…
20 сен '15 в 20:54
1
ответ
Как спроектировать файл CNF из заданной функциональной модели?
Я столкнулся с проблемой при разработке файла CNF (конъюнктивная нормальная форма) из заданной модели объектов. Например, в SPL есть общая модель объектов. A / | \ B C D A, B, C и D - это 4 функции. B является обязательной подфункцией A C и D являют…
28 сен '18 в 03:18
0
ответов
Добавление всплывающего меню "Копировать / Вставить в Eclipse CNF"
Мы добавили новый пользовательский вид в нашу среду Eclipse Kepler. Новое представление аналогично представлению навигатора и представлению Project Explorer, за исключением того, что оно фильтрует и переупорядочивает отображаемые ресурсы в соответст…
20 фев '14 в 20:22
1
ответ
Преобразование уравнений в cnf для использования спутниковых решателей
Поэтому я должен преобразовать некоторые уравнения, разработанные моим коллегой, в формат файла cnf, чтобы использовать их с некоторыми решателями с открытым исходным кодом. Уравнения: S-боксы: y1= 1+x1+x2+x4+x1x2 y2= 1+x1+x2+x3+x3x2 y3= 1+x1+x4+x1x…
01 май '13 в 13:04
1
ответ
Разделение и / или разбиение большого файла CNF / Matrix
Простой вопрос У меня есть очень большой файл CNF с представляет матрицу MXN. допустим,>10000 переменных с соответствующими терминами. Итак, в качестве первого шага я хочу разделить файл CNF или, что еще лучше, разбить матрицу на переменные 100 для …
07 апр '14 в 09:05
2
ответа
Обновление дерева просмотра
Я использую общую структуру навигатора (CNF) для просмотра моего проекта. Я установил поставщика содержимого и поставщика меток для просмотра дерева. Когда данные изменяются внутри моего приложения, мне также необходимо обновить древовидное представ…
12 июн '12 в 13:03
0
ответов
Инструкция Yosys "sat -dump_cnf "
У меня есть пример комбинаторного цирка в Verilog, где я могу следовать инструкции, чтобы сделать логический синтез и сгенерировать файл blif. Однако мне нужно создать формулу CNF из схемы. Инструменты, такие как ABC, позволяют генерировать только и…
13 сен '17 в 12:40
1
ответ
Eclipse RCP: изменить цель действия на другой предмет
У меня есть дерево в представлении, построенном с помощью Common Navigation Framework. У меня есть пользовательский элемент MyTreeEntry, который содержит объект IFolder. public class MyTreeEntry implements IWorkbenchAdapter { private IFolder iFolder…
07 июл '14 в 09:36
2
ответа
Есть ли инструмент, который реализует не-CNF SAT решатель?
Мне нужен SAT-решатель, способный принимать в качестве входных данных не только файлы CNF, но и обычные текстовые файлы, содержащие предложения с предложениями (пишутся только с и или без). Я не мог найти ни одного. Не могли бы вы указать один?
01 июн '18 в 10:15
0
ответов
Затмение CNF, дважды щелкните действие, чтобы открыть представление
Я хотел бы иметь возможность дважды щелкнуть файл с определенным расширением в обозревателе проекта eclipse и открыть для него доступное только для чтения представление связанного файла. Любые предложения о том, как это сделать, будут наиболее ценит…
18 июл '13 в 15:07
1
ответ
Как сгруппировать структуру папок в обычном представлении навигатора в приложении eclipse-rcp?
У меня есть вопрос, касающийся структуры папок общего представления навигатора (проводника пакетов) в приложении eclipse-rcp. Моя цель - сгруппировать исходную папку проекта. Как вы можете видеть на картинке выше, исходная папка проекта "Sample" - э…
28 ноя '12 в 19:52
1
ответ
Как я могу преобразовать выражение CNF в 3-CNF?
У меня есть такое выражение CNF, и я хочу изменить его на 3-CNF: (a+b+c+d)(~a)(~b+d)(a+b+~d) Кто-нибудь знает, как я могу это сделать?
08 апр '14 в 01:17
1
ответ
Как изменить значки папок (например, исходную папку) в обычном представлении навигатора в приложении eclipse-rcp?
Как вы можете видеть в заголовке этого поста, у меня есть вопрос, касающийся значков папок в обычном навигаторе, используемом приложением eclipse-rcp. В принципе возможно ли изменить значок стандартной папки в представлении навигатора? Моя цель - из…
27 ноя '12 в 13:28
0
ответов
Преобразование в CNF (застрял)
Мне удалось упростить выражение до следующего (и исходное выражение, и версия ниже разрешают один и тот же CNF в соответствии с WolphramAlpha). Что дальше? (~C || C || ~A) && (~A || ~B || C)
12 ноя '14 в 16:55
4
ответа
RMySQL не работает с файлом cnf
Я пытаюсь подключиться к серверу MySQL через R, и он прекрасно работает со следующей строкой: con <- dbConnect(MySQL(), user="user", password="password",dbname="dbname", host="localhost", port=3306) Но я хотел бы использовать файл cnf, чтобы мой …
01 авг '14 в 15:38
1
ответ
Какой будет форма CNF этой вероятностной грамматики?
Если PCFG, как, NP -> ADJ N [0.6] NP -> N [0.4] N -> cat [0.2] N -> dog [0.8] Какой будет форма CNF? Это будет следующим? NP -> ADJ NP [0.6] NP -> cat [0.08] NP -> dog [0.32] или что-то еще?
29 сен '16 в 11:32
1
ответ
Изменить позицию ввода для вызова функции в Python
Это мой код: from sympy import symbols, Equivalent from sympy.logic.boolalg import to_cnf as fnc, Implies, to_cnf from sympy.abc import a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, v, w, x, y, z def eq(a, b): return fnc(Equivalent(a, …
19 дек '18 в 13:33
1
ответ
CNF против рога удовлетворенности
Я знаю, что легче доказать, выполнима ли формула рога. Мой вопрос: почему с формулой рога легче, чем с обычным CNF?
16 мар '15 в 16:06