libboloq
A library to replesent binary functions using Binary Decision Diagram.
総合概要
名前空間
クラス
ファイル
クラス一覧
クラス索引
クラス階層
クラスメンバ
全て
クラス
名前空間
関数
型定義
ページ
boloq
basic_boolean_function_cache
boloq::basic_boolean_function_cache< N > メンバ一覧
継承メンバを含む
boloq::basic_boolean_function_cache< N >
の全メンバ一覧です。
apply_and
(const node_ptr &a, const node_ptr &b)
boloq::basic_boolean_function_cache< N >
inline
apply_not
(const node_ptr &a)
boloq::basic_boolean_function_cache< N >
inline
apply_or
(const node_ptr &a, const node_ptr &b)
boloq::basic_boolean_function_cache< N >
inline
apply_xor
(const node_ptr &a, const node_ptr &b)
boloq::basic_boolean_function_cache< N >
inline
basic_boolean_function_cache
()
boloq::basic_boolean_function_cache< N >
inline
basic_boolean_function_cache
(const basic_boolean_function_cache &)=delete
boloq::basic_boolean_function_cache< N >
ite
(const node_ptr &if_node, const node_ptr &then_node, const node_ptr &else_node)
boloq::basic_boolean_function_cache< N >
inline
new_var
(const label_type &_label, const node_ptr &t, const node_ptr &e)
boloq::basic_boolean_function_cache< N >
inline
new_var
(const label_type &_label)
boloq::basic_boolean_function_cache< N >
inline
node_ptr
typedef
boloq::basic_boolean_function_cache< N >
node_type
typedef
boloq::basic_boolean_function_cache< N >
one
() const
boloq::basic_boolean_function_cache< N >
inline
operator=
(const basic_boolean_function_cache &)=delete
boloq::basic_boolean_function_cache< N >
zero
() const
boloq::basic_boolean_function_cache< N >
inline
構築:
1.8.8