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 |