Eclipse-“虚拟”资源

[英]Eclipse - “Virtual” Resources

我正在编写一个使用虚拟树状文件结构的插件。 基本上，它的行为就像包含文件的标准文件系统一样，区别在于这些文件实际上并不存在于文件系统中的特定位置，而仅仅是Java对象。 导航器（使用Common Navigator Framework的自定义实现）当前使用SettingProvider支 ...

如何在eclipse-rcp应用程序中更改常用导航器视图中的文件夹图标（例如源文件夹）？

[英]How to change folder icons (eg. the source folder) in common navigator view in an eclipse-rcp application?

正如您在本文的标题中所看到的，我在eclipse-rcp应用程序使用的常用导航器视图中有一个关于文件夹图标的问题。 基本上可以在导航器视图中更改标准文件夹的图标吗？ 我的目标是更改已创建项目的源文件夹的图标。 值得一提的是，有一个自己创建的项目性质。 因此，每个具有特定性质的创建 ...

如何使用带有复选框的Common Navigator Framework

[英]How to use the Common Navigator Framework with checkboxes

当我使用Common Navigator Framework时，我找不到如何让它像TreeViewer一样支持复选框。 一开始，我打算使用Check Tree View，但它不能充分利用RCP机制，所以我决定使用Common Navigator Framework .... ...

关于SAT求解器和cnf文件

[英]Regarding SAT Solvers and cnf files

我一直在尝试使用Cryptominisat（类似的事情）对Piccolo进行攻击，Piccolo是一种类似于AES的轻量级分组密码。 方程式是这样的： Z = z1 | z2 | ... | z16,1 <= i <= 16 然后，ui =（1 + z（4i-3）） ...

在Eclipse插件中实现自定义库浏览器/类型层次结构

[英]Implement custom library browser / type hierarchy in an Eclipse plugin

我正在创建一个使用Grammatical Framework（GF）进行开发的Eclipse插件，而其中的主要功能之一是我想实现一个自定义的“库浏览器”以搜索GF Resource Grammar Library （内部将涉及解析很多标头）手动文件）。 它的行为基本上类似于Eclipse的Ja ...

将 CNF 格式转换为 DIMACS 格式

[英]Converting CNF format to DIMACS format

我和我的实验室合作伙伴正在编写代码以使用 Python 为我们的一门课程制作我们自己的 SAT 求解器。 到目前为止，我们已经编写了将 SoP 转换为 CNF 的代码。 现在我们被困在如何将 CNF 转换为 DIMACS 格式。 我们了解手动完成 DIMACS 格式的工作原理，但我们坚持将实际代码从 ...

如何在eclipse-rcp应用程序的通用导航器视图中对文件夹结构进行分组？

[英]How to group a folder structure in a common navigator view in an eclipse-rcp application?

我有一个关于eclipse-rcp应用程序中常见导航器视图（程序包浏览器）的文件夹结构的问题。 我的目标是对项目的源文件夹进行分组。 如上图所示，项目“ Sample”的源文件夹是src + main +资源。 我想对该源文件夹进行分组 ，以便只有一行显示文本“ src.main ...

将查询转换为CNF

[英]Converting a query to CNF

我最近一直在尝试学习逻辑，但是遇到了一个我做不到的查询，而且我不确定自己要去哪里。 将查询转换为CNF时，遇到这种特殊情况怎么办？ 我将如何重新安排它以使其成为CNF形式？ 我做错了什么吗？ 谢谢您的帮助，肖恩 ...

CNF：删除一些弹出选项（从平台贡献的选项中）

[英]CNF: Remove SOME popup options (from the ones that are platform contributions)

我需要使用 CNF 修改弹出菜单。 我已经阅读了有关使用操作提供程序以及有关使用“allowsPlatformContribution”来限制作为平台贡献的选项的文档。 我已经成功地使用了其中一些概念来添加/删除弹出选项。 但是我需要做一件事，但我不知道如何做：与平台贡献相关，我的意思是由 org ...

pyeda 方法“抽象语法树”

[英]pyeda method “to abstract syntax tree”

我真正想做的是将 boolean 表达式转换为 integer 线性规划约束。 我试图首先将表达式转换为 CNF（使用pyeda ），然后从 CNF 形成约束（因为这非常简单）。 但是，我无法理解.to_ast() function 输出的抽象语法树。 例如，在表达式(~C1 | ~P1 | ~O ...

我怎样才能将CNF表达重铸为3-CNF？

[英]How can I recast a CNF expression to 3-CNF?

我有一个像这样的CNF表达式，我想将它改写为3-CNF： 有谁知道我怎么做到这一点？ ...

在Eclipse CNF中将项目添加到子项“ New”

[英]Adding items to subment 'New' in eclipse cnf

我正在使用Eclipse CNF。 当我在CNF的项目或文件夹中单击鼠标右键时，会看到一个弹出菜单，其中包含选项“新建”，并且还包含子菜单。 如何向该子菜单添加项目？ ...

解析dimacs CNF文件python

[英]parse dimacs CNF file python

我有一个DIMACS cnf格式的文件，我需要将其操作为SAT求解器的必要格式。 具体来说，我需要得到： 至 谢谢您的帮助！ ...

Microsoft Solver Foundation SAT CNF

[英]Microsoft Solver Foundation SAT CNF

我正在尝试使用Microsoft Solver Foundation SatSolver通过Visual Studio（C＃或VB）解决一个简单的CNF问题。 任何人都可以发布一个简单的示例来说明如何完成此操作吗？ 这是一个简短的示例： 结果应该只有一个值为1的变量，其余的应该为 ...

Python列表索引和返回项目

[英]Python List Indexing and Returning the Item

所以这是一个简单的问题，我似乎很困惑，我一直在研究这个输入问题，并试图将用户输入的某些部分存储到分段列表中。 用户输入将输入CNF（合取正常形式）。 示例：+ =或，* =和，（和）中的任何内容都是子句 （A + B）*（C + d） 因此，由于此输入有两个子句，我需要将每个 ...

CNF简化

[英]CNF simplification

鉴于一系列条款，我想首先检查它们是否可以满足。 如果它们是，我想简化它们并创建CNF，例如，（a OR b）^（NOT b）应简化为：a ^（NOT b）。 我只使用命题公式。 我试图使用Java SAT4j库来做到这一点。 它可以告诉我这些条款是否可以满足，但似乎没有任何方法可以让我返 ...

如何为远程添加更多支持的文件扩展名（例如.cnf） - SSH：编辑配置文件

[英]How can I add more supported file extension (eg .cnf) for Remote - SSH: Editing Configuration Files

我正在使用 VSCode Remote - SSH: Editing Configuration Files for syntax highlighting for some configuration files, it works fine for.conf etc. 但是，我希望它能够与 My ...

将逻辑门转换为cnf python

[英]convert logical gates to cnf python

我有一个从门对象创建的面向对象的逻辑电路（类似于这里的第二个示例： http://www.openbookproject.net/books/pythonds/Introduction/ObjectOrientedProgramminginPythonDefiningClasses.html ） ...

eclipse 插件开发：如何从 cnf（双击）打开自定义编辑器。

[英]eclipse plugin dev: how to open a custom editor from a cnf (on double click).

我是 RCP 的新手，正在为如何从 cnf（双击）打开自定义编辑器而苦苦挣扎。 我想可以在 plugin.xml 中声明它，但还没有弄清楚如何。 当我在我的 cnf 项目中双击一个 xml 文件时，我想打开我自己的自定义编辑器而不是标准的 xml 编辑器。 谁能指出我正确的方向？ ...

试图在mysql中编辑my.cnf文件，但它不起作用

[英]Trying to edit the my.cnf file in mysql and it does not work

我试图在mysql中使用cat /etc/my.cnf，但是当我这样做时，它只显示 - >希望我继续投入。 但是，当我在末尾添加分号时。 cat /etc/my.cnf; 它会抛出一个错误。 如何修改/etc/my.cnf文件？ 我在Mac上的终端上运行 ...