boloq::basic_boolean_function_cache< N > クラステンプレート

基本的な演算キャッシュのテーブルです [詳解]

#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 を適用した結果を返します

詳解

template<class N>
class boloq::basic_boolean_function_cache< N >

基本的な演算キャッシュのテーブルです

関数詳解

template<class N >

const node_ptr boloq::basic_boolean_function_cache< N >::ite ( const node_ptr &  if_node, const node_ptr &  then_node, const node_ptr &  else_node  )

inline

if-then-else に基づいてBDDをマージする

---

このクラス詳解は次のファイルから抽出されました:

• boloq/details/boolean_function_cache.h