Gecode はSpaces を使用して、進行中の制約充足問題を表します。決定点に到達するたびに、Spaceがコピーされます。
進行中のこれらのスペースの分析を実行したいと考えています。特定のに登録されている変数、制約などのリストを取得する方法はありますSpaceか? API ドキュメントは、そのようなメソッドを提供していないようです。
1 に答える
1
現在、スペース内にあるすべての変数とプロパゲーターを一覧表示する一般的な方法はありません。さらに、そのようなビューが必要になることはめったになく、まだアクティブな変数とプロパゲーターのセットは、意味のある方法でモデルを設定するときに作成された変数とプロパゲーターの元のセットに似ていない場合があります。
補足として、Gecode はフル コピーを使用せず、断続的なコピーを使用する再計算ベースのシステムです。したがって、「決定点に到達するたびにスペースがコピーされる」というのは正しくありません。Modeling and Programming with Gecodeの 9.1 章を参照してください。
于 2014-11-11T09:14:53.947 に答える