edgeModel関数
リファレンスの説明と例は英語です。見出しと目次は日本語です。
A layout written down as clauses (see the top of this file), or null where it cannot be solved at all: a stone its pair does not name, or a cell with too few ways in and out to hold a line.
インポート
import { edgeModel } from "@johnmorrisdotca/tsunagi";
定義
function edgeModel(layout: LinkLayout, colours?: SatColours): EdgeModel | null
引数
| 名前 | 型 | 説明 |
|---|---|---|
layout | LinkLayout | The decoded native board and its rule settings. |
colours (省略可) | SatColours | The palette or SAT colour encoding specified by the signature. |
戻り値
EdgeModel | null
The SAT edge model, or null when the layout cannot support a complete solution.
例
import { TSUNAGI_4 } from "@johnmorrisdotca/tsunagi/levels-4";
import { decodeLayout, edgeModel } from "@johnmorrisdotca/tsunagi";
const givens = TSUNAGI_4[0][0];
const layout = decodeLayout(givens,4)!;
console.log(edgeModel(layout)?.total);16出力(このページを作ったときに実行した結果)
この日本語は、まだ日本語を母語とする方の確認を受けていません。訂正を歓迎します。