|
libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
|
libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
基本的な演算キャッシュのテーブルです [詳解]
#include <combination_cache.h>
公開型 | |
| using | node_type = N |
| このクラスが扱うノードの型 | |
| using | node_ptr = typename node_type::node_ptr |
| このクラスが扱うノードのポインタ型 | |
公開メンバ関数 | |
| basic_combination_cache () | |
| コンストラクタ | |
| basic_combination_cache (const basic_combination_cache &)=delete | |
| コピーは禁止されています | |
| basic_combination_cache & | operator= (const basic_combination_cache &)=delete |
| 代入は禁止されています | |
| const node_ptr & | zero () const |
| 0定節点を返します | |
| const node_ptr & | one () const |
| 1定節点を返します | |
| const node_ptr | new_var (const label_type &_label, const node_ptr &t, const node_ptr &e) |
| 新しいノードを生成します | |
| const node_ptr | new_var (const label_type &_label) |
| 新しいノードを生成します | |
| const node_ptr | apply_change (const node_ptr &_root, const label_type &v) |
| 特定のアイテムの存在を反転させた結果を返します | |
| const node_ptr | apply_union (const node_ptr &p, const node_ptr &q) |
| 和集合を返します | |
| const node_ptr | apply_intersection (const node_ptr &p, const node_ptr &q) |
| 積集合を返します | |
基本的な演算キャッシュのテーブルです
1.8.8
