問題タブ [cnf]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - eclipse-rcpアプリケーションの一般的なナビゲータービューでフォルダーアイコン（ソースフォルダーなど）を変更するにはどうすればよいですか？
この投稿のタイトルにあるように、eclipse-rcpアプリケーションで使用される一般的なナビゲータービューのフォルダーアイコンについて質問があります。
ナビゲータービューで標準フォルダーのアイコンを変更することは基本的に可能ですか？私の目標は、作成したプロジェクトのソースフォルダーのアイコンを変更することです。独自に作成されたプロジェクトの性質があることに言及することが重要です。
したがって、その特定の性質を持つすべての作成されたプロジェクトには、ソースフォルダーのカスタムアイコンが必要ですが、実際には、そのアイコンをどこで変更できるかわかりません。
したがって、問題は次のとおりです。rcp-applicationのどの部分がこれらのアイコンを処理する責任がありますか？特定のプロジェクトの性質があるので、性質はこれらのカスタマイズを追加する必要があると思いますよね？
ここで、デフォルトのフォルダ構造を確認できます。srcフォルダのアイコンを変更したいのですが。
どんな助けでも大歓迎です！
乾杯！
解決：
詳細については、このリンクをご覧ください。
（1）拡張ポイントを追加します。
（2）デコレータクラスを作成します。
乾杯！
java - eclipse-rcpアプリケーションの共通ナビゲータ・ビューでフォルダ構造をグループ化する方法は?
eclipse-rcp アプリケーションの一般的なナビゲーター ビュー (パッケージ エクスプローラー) のフォルダー構造について質問があります。
私の目標は、プロジェクトのソース フォルダーをグループ化することです。
上の図でわかるように、プロジェクト「Sample」のソース フォルダーは src + main + resources です。「src.main.resources」というテキストを表示する行が 1 行だけになるように、そのソース フォルダーをグループ化したいと思います。これは、ファイル システムのフォルダー構造を変更することによって達成されるべきではありません。
私の質問は次のとおりです。物理的なフォルダー構造に触れることなく、ソースフォルダーをプログラムでグループ化することは可能ですか?
どんな助けでも大歓迎です！
乾杯！
多くの研究を行った後、私は別のアプローチを試みています。デコレータ クラスを使用して、ソース フォルダのラベルを変更しています。
元の質問の目標を達成するには、ソース フォルダーの最初の 2 つのレベルを非表示にして、「src/main/resources」を表示する行が 1 行だけになるようにします。残念ながら、IFolder.setHidden(true) は機能しません。ノードの子も非表示になるからです。たとえば、フィルターを使用してこれら 2 つのフォルダーを非表示にする可能性はありますか? または、ナビゲーターのツリーを変更する必要がありますか?
前もって感謝します！
java - CNFへの変換
これは課題用です。一連のステートメントを CNF に変換して実装する必要があります。最初に接頭辞表記の入力を中置表記に変換してから、ド・モルガンスの法則を繰り返し適用する必要があることはわかっています。しかし、中置記法に変換した後の実装の進め方がわかりません。
- それを中置に変換する必要がありますか、それともこれを行うためのより良いプロセスはありますか?
- 私は Python での実装から BDD を読んでいます。私はJavaでコーディングしていますが、外部ライブラリを使用せずに自分でやりたいと思っています。実装アルゴリズムに関する指針はありますか? それを中置に変換する正しい方向に進んでいますか？
ありがとう！
c - sat ソルバーを使用するための方程式の cnf への変換
そこで、同僚が考案したいくつかの方程式を cnf ファイル形式に変換して、オープン ソースの sat ソルバーで使用できるようにしました。
方程式は次のとおりです。
S ボックス:
混合カラム:
攻撃には、
これらを cnf ファイル形式に変換する方法について、参照リンクを含め、情報をいただければ幸いです。cnf ファイル形式で上記のような制約を指定することに関するヘルプもいただければ幸いです。
eclipse - Eclipse CNF、ダブルクリック アクションでビューを開く
Eclipse プロジェクト エクスプローラーで特定の拡張子を持つファイルをダブルクリックして、関連ファイルの読み取り専用ビューを開くことができるようにしたいと考えています。
これを行う方法についての提案は大歓迎です。
ありがとう、スティーブ
python - 大規模な CNF ファイル / マトリックスの分割および/またはパーティショニング
簡単な問題。mxn マトリックスを表す非常に大きな CNF ファイルがあります。関連する用語を含む >10000 変数としましょう。したがって、最初のステップとして、CNF ファイルを分割するか、並列解決の概念のために行列を 100 の変数に分割することをお勧めします。どのルールを適用するかについての説明はありますか?
すべての助けに感謝します。
エイドリアンよろしく
cnf - CNF 式を 3-CNF に再キャストするにはどうすればよいですか?
このような CNF 式があり、それを 3-CNF に再キャストしたい:
どうすればそれができるか知っている人はいますか？