#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 MapType polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::map_type |
typedef NodeType polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::node_type |
typedef node_type::idx_type polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::idx_type |
polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::mapped_new_node | ( | const map_type & | the_map | ) | [inline] |
NodeType polybori::mapped_new_node< MapType, VariableType, TermType, NodeType >::operator() | ( | idx_type | idx, | |
const node_type & | first, | |||
const node_type & | second | |||
) | const [inline] |