libboloq
A library to replesent binary functions using Binary Decision Diagram.
 全て クラス 名前空間 関数 型定義 ページ
公開型 | 公開メンバ関数 | 静的公開メンバ関数 | 全メンバ一覧
boloq::basic_combination< T > クラステンプレート

二分決定図を操作する基本的なクラスです [詳解]

#include <combination.h>

公開型

using node_ptr = typename table_type::node_ptr
 実際に操作されるノードの型
 
using label_type = typename table_type::node_type::label_type
 ラベルの型を表します [詳解]
 

公開メンバ関数

 basic_combination (const label_type &_label)
 コンストラクタ
 
self_typechange (const label_type &v)
 特定のアイテムの存在を反転させます
 
self_type changed (const label_type &v)
 特定のアイテムの存在を反転させた結果を返します
 
bool operator== (const self_type &o) const
 同じ組み合わせ集合を表現しているか比較します [詳解]
 
bool operator!= (const self_type &o) const
 違う組み合わせ集合を表現しているか比較します [詳解]
 
self_type operator+ (const self_type &o) const
 union を行った結果を返します
 
self_typeoperator+= (const self_type &o)
 union を適用します
 
self_type operator- (const self_type &o) const
 subtract を行った結果を返します
 
self_typeoperator-= (const self_type &o)
 subtract を適用します
 
self_type operator& (const self_type &o) const
 intersection の結果を返します
 
self_typeoperator&= (const self_type &o)
 intersection を適用します
 
template<class V >
void accept (V &visitor) const
 visitorを受理します [詳解]
 
template<class AssignT >
bool contain (const AssignT &assign) const
 組み合わせ集合を評価します
 

静的公開メンバ関数

static const self_type one ()
 0 定節点
 
static const self_type zero ()
 1 定節点
 

詳解

template<class T>
class boloq::basic_combination< T >

二分決定図を操作する基本的なクラスです

型定義メンバ詳解

template<class T>
using boloq::basic_combination< T >::label_type = typename table_type::node_type::label_type

ラベルの型を表します

この型は内部で用いられるノードの型に依存します。

関数詳解

template<class T>
template<class V >
void boloq::basic_combination< T >::accept ( V &  visitor) const
inline

visitorを受理します

visitorオブジェクトは、node_ptrを引数にした関数インタフェースをもたなくてはいけません

template<class T>
bool boloq::basic_combination< T >::operator!= ( const self_type o) const
inline

違う組み合わせ集合を表現しているか比較します

この判定はO(1)で行う事ができます。

template<class T>
bool boloq::basic_combination< T >::operator== ( const self_type o) const
inline

同じ組み合わせ集合を表現しているか比較します

この判定はO(1)で行う事ができます。


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