ステージと知識シーケントは同じもの。ステージは内部にシーケントをホストする。
- ステージのコンテキストはステージ矩形の上部にだけ描いて、内部には貫入しない。
- ステージのコンテキスト部のレイアウトは知識シーケントと同じ。
- ステージは、コンテキスト部(上部バー)に下に描画エリアを持つ。
- ボックスは上部境界にポートを持つが、ステージと知識シーケントに関しては、上部ではなく中間または下部にポートを配置する。
- 基本〈組み込み〉シーケントの形状は台形か角丸三角形、ユーザー定義のシーケントはすべて矩形。台形は path を fill して作る。角丸は rx, ry で指定。角丸三角形も
とか書くらしい。 - ワイヤーのラベルは書ききれない。ツールチップで諦める。
- ワイヤーの端点には変数ラベルが付く。
- ワイヤーの種類は、True, False, ラベル付き基本(ソリッド黒)、∧、∨、→(\)、 ←(/)、¬、n項命題。
- ワイヤーはバンチにまとめられる。バンチは矩形内を通るワイヤー群。矩形はシースを表す。
SVG要素もCSSを効かせられる。
.svg-triangle path { stroke-width: 20; stroke: black; stroke-linejoin: round; stroke-linecap:round; }