libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
boloq の名前空間 [詳解]
クラス | |
class | basic_boolean_function |
二分決定図を操作する基本的なクラスです [詳解] | |
class | basic_boolean_function_cache |
基本的な演算キャッシュのテーブルです [詳解] | |
class | basic_combination |
二分決定図を操作する基本的なクラスです [詳解] | |
class | basic_combination_cache |
基本的な演算キャッシュのテーブルです [詳解] | |
class | basic_node |
基本的なノードのクラス [詳解] | |
class | index_generator |
ノードのインデックスを一意になるように生成します [詳解] | |
struct | null_deleter |
定節点用のdeleter | |
型定義 | |
using | boolean_function = basic_boolean_function< boolean_function_cache > |
標準的なノードを用いる論理関数です | |
using | boolean_function_cache = basic_boolean_function_cache< node > |
標準的なノードを用いるハッシュテーブルです | |
using | combination = basic_combination< combination_cache > |
標準的なノードを用いる組み合わせ集合です | |
using | combination_cache = basic_combination_cache< node > |
標準的なノードを用いるハッシュテーブルです | |
using | node = basic_node< size_t, size_t > |
標準的なノードのクラス | |
boloq の名前空間