标签: cnf

我正在编写一个使用虚拟树状文件结构的插件。基本上，它的行为就像包含文件的标准文件系统一样，区别在于这些文件实际上并不存在于文件系统中的特定位置，而仅仅是Java对象。

导航器（使用Common Navigator Framework的自定义实现）当前使用SettingProvider支持这些功能，并且与这些对象的交互就像与标准文件的交互一样实现。

但是，现在必须将标记粘贴到这些对象上。据我了解Eclipse框架，标记只能附加到* IResource * s，因此为了实现此目标，我应该创建IResource的实例，而不是使用* SettingProvider * s 。

但是，标准实现只允许从文件系统创建资源。由于存在类似虚拟文件夹的内容，因此必须有可能创建虚拟资源，即在文件系统中没有实际位置的资源。但是我该怎么办呢？我的研究似乎无济于事...

或者，是否有可能以其他方式实现所需的功能（将标记粘贴到CNF导航器中的对象上）？

提前致谢！

正如您在本文的标题中所看到的,我在eclipse-rcp应用程序使用的常用导航器视图中有一个关于文件夹图标的问题.

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

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

所以问题是:rcp-application的哪个部分负责处理这些图标？既然有一个特定的项目性质,我会说大自然应该添加这些自定义,对吧？

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

任何帮助将不胜感激!

干杯!

解:

有关更多信息,请访问此链接.

(1)添加扩展点:

<extension point="org.eclipse.ui.decorators">
<decorator
    id="at.fhjoanneum.segof.wsmleditor.natures.decorators.SourceFolderDecorator"
    label="Source Folder Decorator"
    state="true"
    class= "at.fhjoanneum.segof.wsmleditor.natures.decorators.SourceFolderDecorator"
  objectClass="org.eclipse.core.resources.IFolder"
    adaptable="true">
    <description>
      Source Folder Decorator
    </description>
  </decorator>
</extension>

(2)创建装饰器类:

    public class SourceFolderDecorator extends LabelProvider implements ILabelDecorator {

        public SourceFolderDecorator() {
            super();
        }

        @Override
        public Image decorateImage(Image image, Object element) {
//return the image
            return null;
        }

干杯!

我和我的实验室伙伴正在编写代码，为我们的一门课程使用 Python 制作我们自己的 SAT 求解器。到目前为止，我们已经编写了将 SoP 转换为 CNF 的代码。现在我们陷入如何将 CNF 转换为 DIMACS 格式的问题。我们了解 DIMACS 格式在手动完成时的工作原理，但我们仍坚持编写从 CNF 到 DIMACS 的实际代码。到目前为止我们发现的所有输入文件都已经是 DIMACS 格式。

    from sympy.logic.boolalg import to_cnf
    from sympy.abc import A, B, C, D
    f = to_cnf(~(A | B) | D)
    g = to_cnf(~A&B&C | ~D&A)

我想用模型检查器测试我的代码，并以自动方式从中制作 FSM。为此，我需要一个模型检查器并将 FSM 结果转换为 CNF。

任何建议我如何在 Python 中做到这一点？我只知道 CBMC，但这仅限于 C。

谢谢阿德里安