|
libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
基本的なノードのクラス [詳解]
#include <node.h>
公開型 | |
| using | index_type = IT |
| インデックスを表す型 | |
| using | label_type = LT |
| ラベルを表す型 | |
| using | node_ptr = std::shared_ptr< const self_type > |
公開メンバ関数 | |
| constexpr | basic_node (const index_type &i) |
| 定節点を生成するコンストラクタ [詳解] | |
| constexpr | basic_node (const index_type &i, const label_type &l, const node_ptr &_then, const node_ptr &_else) |
| コンストラクタ [詳解] | |
| constexpr const index_type & | index () const |
| ノードの内容一意に定まる値を返します | |
| constexpr const label_type & | label () const |
| ノードのラベルを返します [詳解] | |
| constexpr bool | is_terminal () const |
| このノードが終端かどうかを表します | |
| const node_ptr | then_node () const |
| const node_ptr | else_node () const |
| template<class V > | |
| void | accept (V &visitor) const |
| visitorを受理します | |
基本的なノードのクラス
| using boloq::basic_node< LT, IT >::node_ptr = std::shared_ptr<const self_type> |
このクラスのポインタを表す型
|
inlineexplicit |
定節点を生成するコンストラクタ
定節点は必ず 0-節点 もしくは 1-節点 のどちらかです。 index には 0 もしくは 1 を指定してください。
|
inline |
コンストラクタ
index には2以上を指定してください
|
inline |
0枝側のノードを返します
|
inline |
ノードのラベルを返します
一般的には、論理関数の変数名や組み合わせ集合のアイテム名を表します
|
inline |
1枝側のノードを返します
1.8.8