データをインポートする

  1. メニューの[ファイル] -> [インポート(CSV)]をクリックしてください。
  2. エクスポートデータをテキストエリアに貼り付けて、決定ボタンをクリックしてください。

データ形式について

 
8,1,
a b | +----------------------- 制約数 +------------------------- ノード数
... ... 音が鳴ってない
-------a------ +------------------ ノード名
... ... 316,298,110,13,obs,OR,0,0,1,1,...
-a- -b- -c- d -e- f --g-------- | | | | | | +- 論理関係情報 | | | | | +------ 論理演算子(OR, AND) | | | | +--------- 観測可能性 | | | +------------- ノード要素の高さ(px) | | +---------------- ノード要素の幅(px) | +-------------------- ノード要素のX方向位置(px) +------------------------ ノード要素のY方向位置(px)
... ... ONE,304,71,21,13,0,0,0,...
-a- -b- c d e ---f---- | | | | | +----- 制約情報 | | | | +----------- 制約要素の高さ(px) | | | +-------------- 制約要素の幅(px) | | +----------------- 制約要素のX方向位置(px) | +-------------------- 制約要素のY方向位置(px) +------------------------ 制約の種類 (ONE,EXCL,INCL,REQ,MASK)
-- [Cause Node] 電源= 音が鳴ってない= 正解= 不正解= 出題= ファンファーレ= [Middle Node] ボタンを押す=(正解 OR 不正解 OR 出題 OR ファンファーレ), [Result Node] 音が鳴る=(電源 AND 音が鳴ってない AND ボタンを押す), [Constraint] ONE(正解 不正解 出題 ファンファーレ ),
--行以降は、コメント部分です。