libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
基本的な演算キャッシュのテーブルです [詳解]
#include <boolean_function_cache.h>
公開型 | |
using | node_type = N |
このクラスが扱うノードの型 | |
using | node_ptr = typename node_type::node_ptr |
このクラスが扱うノードのポインタ型 | |
公開メンバ関数 | |
constexpr | basic_boolean_function_cache () |
コンストラクタ | |
basic_boolean_function_cache (const basic_boolean_function_cache &)=delete | |
コピーは禁止されています | |
basic_boolean_function_cache & | operator= (const basic_boolean_function_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 | ite (const node_ptr &if_node, const node_ptr &then_node, const node_ptr &else_node) |
const node_ptr | apply_not (const node_ptr &a) |
not を適用した結果を返します | |
const node_ptr | apply_and (const node_ptr &a, const node_ptr &b) |
and を適用した結果を返します | |
const node_ptr | apply_or (const node_ptr &a, const node_ptr &b) |
or を適用した結果を返します | |
const node_ptr | apply_xor (const node_ptr &a, const node_ptr &b) |
or を適用した結果を返します | |
基本的な演算キャッシュのテーブルです
|
inline |
if-then-else に基づいてBDDをマージする