问题标签 [cnf]

正如您在这篇文章的标题中看到的那样，我有一个关于 eclipse-rcp 应用程序使用的通用导航器视图中的文件夹图标的问题。

基本上可以在导航器视图中更改标准文件夹的图标吗？我的目标是更改已创建项目的源文件夹的图标。值得一提的是，有一个自己创建的项目性质。

因此，每个创建的具有特定性质的项目都应该有一个源文件夹的自定义图标，但实际上我不知道在哪里可以修改该图标。

那么问题来了：rcp-application 的哪一部分负责处理这些图标？既然有特定的项目性质，我会说性质应该添加这些自定义，对吗？

在这里您可以看到默认的文件夹结构。我想更改 src 文件夹的图标。

任何帮助将不胜感激！

干杯!

解决方案：

欲了解更多信息，请访问此链接。

(1) 添加扩展点：

(2) 创建装饰器类：

干杯!

我有一个关于 eclipse-rcp 应用程序中通用导航器视图（包资源管理器）的文件夹结构的问题。

我的目标是对项目的源文件夹进行分组。

如上图所示，项目“Sample”的源文件夹为 src + main + resources。我想对该源文件夹进行分组，以便只有一行显示文本“src.main.resources”。这不应通过更改文件系统中的文件夹结构来实现。

所以我的问题是：是否可以在不触及物理文件夹结构的情况下以编程方式对源文件夹进行分组？

任何帮助，将不胜感激！

干杯!

在做了很多研究之后，我正在尝试一种不同的方法。我正在使用装饰器类来修改源文件夹的标签。

为了达到原始问题的目标，我想隐藏源文件夹的前两级，以便只有一行显示“src/main/resources”。遗憾的是， IFolder.setHidden(true) 不起作用，因为它也会隐藏节点的子节点。是否有可能通过使用过滤器来隐藏这两个文件夹？还是我必须修改导航器树？

先感谢您！

这是为了一个任务。我必须将一组语句转换为 CNF 并实现它们。我知道我需要先将前缀符号中的输入转换为中缀，然后重复应用德摩根定律。但是，在将其转换为中缀符号后，我不知道如何继续执行。

1. 我必须将其转换为中缀还是有更好的过程来做到这一点？
2. 我一直在这里从 Python 的实现中阅读 BDD 。我正在用 Java 编码，我想自己做，而不使用任何外部库。关于实现算法的任何指针？我是否朝着正确的方向将其转换为中缀？

谢谢！

我一直在尝试使用 Cryptominisat（类似的东西）来制定对 Piccolo 的攻击，这是一种类似于 AES 的轻量级分组密码。

方程是这样的：

Z= z1|z2|...|z16, 1<= i<=16

那么，ui= (1+z(4i-3)) ^ (1+ z(4i-2)) ^ (1+z(4i-1)) ^ (1+ z(4i)), 1<=i <=4

那么，(1+u1) V (1+u2) V (1+u3) V (1+u4) =1；ui + uj=1, i<=i<=j<=4

我需要一些关于下一步的帮助。我已经准备好用于攻击和解密的 CNF 方程，我真的需要关于如何将其与 sat 求解器一起使用并将其放入 CNF 文件格式的帮助。我一直在寻找整个互联网，但在任何地方都没有明确的方法。任何帮助，将不胜感激。如果需要更多信息，请随时询问。我需要把上面的方程放在一个 cnf 文件中。

由于涉及的方程式非常复杂（还有更多），因此 cnf 文件及其工作的一些参考或示例会很棒。

因此，我必须将我的一位同事设计的一些方程转换为 cnf 文件格式，以便与一些开源 sat 求解器一起使用。

方程是：

S盒：

混合列：

对于攻击，

我将不胜感激有关如何将这些转换为 cnf 文件格式的任何信息，包括任何参考链接。也将不胜感激有关以 cnf 文件格式指定上述约束的一些帮助。

我希望能够在 eclipse 项目资源管理器中双击具有特定扩展名的文件，并打开相关文件的只读视图。

任何有关如何执行此操作的建议将不胜感激。

谢谢，史蒂夫

我们在 Eclipse Kepler 环境中添加了一个新的自定义视图。新视图类似于 Navigator 视图和 Project Explorer 视图，只是它根据我们的特殊需要对显示的资源进行过滤和重新排序。使用 Eclipse Common Navigator Framework (CNF) 创建自定义视图后，我们发现弹出的上下文菜单中没有复制或粘贴等编辑项，并且在常规下拉菜单中禁用。所以现在我们需要添加它们。其他几篇文章讨论了这个问题，但似乎没有一个给出完整的答案。

到目前为止，我们所拥有的是（仅针对 Copy 显示，其他类似）：

在 plugin.xml 中，我们添加了 menus 扩展以将项目放置在弹出菜单上：

接下来在 plugin.xml 中，我们添加了处理程序扩展以使菜单项正常工作：

最后我们实现了处理程序类：

就它而言，它工作得很好。复制被添加到弹出菜单中，单击它会调用类 execute() 函数。

但是 execute() 应该怎么做呢？这就是这篇文章的重点。我们找到了 Eclipse 类 org.eclipse.ui.internal.navigator.resources.actions.CopyAction 和 org.eclipse.ui.internal.navigator.resources.actions.EditActionGroup 但找不到使用它们的方法。鉴于它们被命名为“内部”，因此它们并非用于直接用户访问也就不足为奇了。

有没有人成功地做到这一点？非常感谢任何帮助或指针，尤其是工作代码示例。

干杯，比尔:-)

简单的问题。我有一个非常大的 CNF 文件，它代表一个 mxn 矩阵。可以说具有相关术语的 >10000 个变量。因此，作为第一步，我想对 CNF 文件进行分区，或者甚至更好地将矩阵拆分为 100 个变量以用于并行求解概念。有没有说明适用什么规则？

感谢所有帮助。

问候阿德里安

我有一个这样的 CNF 表达式，我想将它重铸为 3-CNF：

有谁知道我该怎么做？

给定一组子句，我想首先检查它们是否可满足。如果是，我想简化它们并创建一个 CNF，例如，(a OR b) ^ (NOT b) 应该简化为：a ^ (NOT b)。我只使用命题公式。我尝试使用 Java SAT4j 库来执行此操作。它可以告诉我这组子句是否可以满足，但似乎没有任何方法可以让我返回一个简化的 CNF。我可以做些什么来有效地简化 CNF？是否有任何 Java 或 Python 实现？