出力 SAT <OutputSAT>

概要

関数のパラメータについては、「SAT エクスポート デザイン」を参照してください。

[パラメータ]

Name	[タイプ]	説明
FileExtension	文字列	".sat"
FileName	文字列	"Output.sat"
FileType	文字列	"SAT ファイル"

子

IvSATExport としての sat