The documentation of “matrix/readwrite

matrix/readwrite_bdd.h マニュアル

(The documentation of matrix/readwrite_bdd.h)

Last Update: 2022/3/15

matrix/readwrite_bdd.hでは行列のファイル入出力(bdd形式)を行う関数が用意されている。このヘッダファイル内で定義されている関数を以下に示す。各関数の詳細は関数名をクリックしてリンク先を参照のこと。
Functions to read and write a matrix from/to a file of bdd format are defined in matrix/readwrite_bdd.h. Functions defined in this header file are listed below. For details of individual functions, click the links.

【重要】
これらの関数はmatrix/readwrite.h内の関数からの内部呼び出し専用である。必要なエラーチェック機能が実装されておらず、想定外の使い方をした場合に何が起きるか全く分からないので絶対に直接呼び出してはならない。
[Important]
These functions are exclusive to internal calls from functions in matrix/readwrite.h. Never call these functions directly, because error checks are not implemented and it is completely unknown what will happen if the function is called in an unexpected way.

関数名 Function name	対象とする型 Supported structure type	機能・用途 Purpose
read_matrix_bdd 【マニュアル未作成】 [The documentation has yet to be created]	matrix	行列をファイルから読み込む。 Read a matrix from a file.
read_diagonal_matrix_bdd 【マニュアル未作成】 [The documentation has yet to be created]	diagonal_matrix	行列をファイルから読み込む。 Read a matrix from a file.
write_matrix_bdd 【マニュアル未作成】 [The documentation has yet to be created]	matrix	行列をファイルに書き出す。 Write a matrix to a file.
write_diagonal_matrix_bdd 【マニュアル未作成】 [The documentation has yet to be created]	diagonal_matrix	行列をファイルに書き出す。 Write a matrix to a file.