|
libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
|
libboloq
A library to replesent binary functions using Binary Decision Diagram.
|
継承メンバを含む boloq::basic_combination_cache< N > の全メンバ一覧です。
| apply_change(const node_ptr &_root, const label_type &v) | boloq::basic_combination_cache< N > | inline |
| apply_intersection(const node_ptr &p, const node_ptr &q) | boloq::basic_combination_cache< N > | inline |
| apply_union(const node_ptr &p, const node_ptr &q) | boloq::basic_combination_cache< N > | inline |
| basic_combination_cache() | boloq::basic_combination_cache< N > | inline |
| basic_combination_cache(const basic_combination_cache &)=delete | boloq::basic_combination_cache< N > | |
| new_var(const label_type &_label, const node_ptr &t, const node_ptr &e) | boloq::basic_combination_cache< N > | inline |
| new_var(const label_type &_label) | boloq::basic_combination_cache< N > | inline |
| node_ptr typedef | boloq::basic_combination_cache< N > | |
| node_type typedef | boloq::basic_combination_cache< N > | |
| one() const | boloq::basic_combination_cache< N > | inline |
| operator=(const basic_combination_cache &)=delete | boloq::basic_combination_cache< N > | |
| zero() const | boloq::basic_combination_cache< N > | inline |
1.8.8
