問題タブ [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.
eclipse - Eclipse RCP: アクションのターゲットを別の項目に変更する
Common Navigation Framework で構築されたビューにツリーがあります。IFolder オブジェクトを含むカスタム アイテム MyTreeEntry があります。
MyTreeEntry アイテムのすべてのメニュー エントリを IFolder (新規、新しいウィンドウで開く...) として表示したいのですが、アクションが呼び出されると、含まれている IFolder に作用する必要があります。
それは可能ですか？
java - Linux ターミナルからの Java クラスのロード
Java ハーネス クラス (DaCapo ベンチマーク スイート) に適切なベンチマーク Java クラス (cnf.files) をロードしようとしています。Windows では、コマンド " java Harness は問題なく動作します。ただし、Linux を初めて使用するので、Java ハーネス クラスをロードしようとすると、"不明なベンチマーク" というメッセージが表示されます。"java Harness -l" を実行すると、使用可能なすべてのベンチマークが表示されることに注意してください。この Java ハーネス クラスの
Windows のように Java ハーネス クラスをロードする方法を知っていますか?
c# - Microsoft Solver Foundation SAT CNF
Microsoft Solver Foundation SatSolver を使用して、Visual Studio (C# または VB) で単純な CNF 問題を解決しようとしています。これを行う方法を説明する簡単な例を投稿できますか?
以下に短い例を示します。
結果には値が 1 の変数が 1 つだけ含まれ、残りは 0 になるはずですが、解は 1,1,1,0 です。
みんなありがとう
python - Dimacs CNFファイルをPythonで解析する
SAT ソルバーに必要な形式に操作する必要がある DIMACS cnf 形式のファイルがあります。
具体的には、次のものを取得する必要があります。
に
助けてくれてありがとう！
satisfiability - CNF とホーン充足可能性
ホーン式が充足可能かどうかを証明する方が簡単であることはわかっています。私の質問は: 通常の CNF よりもホーン式の方が簡単なのはなぜですか?
eclipse-plugin - 共通のナビゲーターのコンテンツを取得するにはどうすればよいですか?
Package Explorer ビューのコンテンツ全体が Common Navigator Framework を介して公開されているようです。
どうすればこのデータにアクセスできますか? その中のすべてのプロジェクト、ファイル、およびメソッドの名前を確認したい。私が得た最も近いものは次のとおりです。
しかし、おそらく getElements に何を渡せばよいかわからないため、els は空です。
いくつかの興味深いデバッグ: デバッガーを使用して getElements 呼び出しに飛び込むと、findRootContentExtensions が有望に見える NavigatorContentDescriptor の束を見つけたように見えますが、isActive および isRootExtension チェックに失敗したため、それらは返されません。次に、返される他のものを見つけようとしますが、渡されたオブジェクトを考慮して、機能しません。何が起こっているのかわかりません。
私が見つけたすべてのドキュメントは、CNF を使用して新しいビューを追加することに焦点を当てていますが、ワークスペースの既存の内容を見ていません。これに関する適切なドキュメントはありますか? ありがとう！