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枝側のノードを返します