|
PolyBoRi
|
#include <pbori_func.h>
Public Types | |
| typedef MapType | map_type |
| typedef NodeType | node_type |
| typedef node_type::idx_type | idx_type |
Public Member Functions | |
| mapped_new_node (const map_type &the_map) | |
| NodeType | operator() (idx_type idx, const node_type &first, const node_type &second) const |
| typedef node_type::idx_type polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::idx_type |
| typedef MapType polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::map_type |
| typedef NodeType polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::node_type |
|
inline |
|
inline |
1.8.9.1