Template Function sequant::to_export_tree(const ResultExpr&)

• Defined in File export.hpp

Function Documentation

template<typename NodeData = ExportExpr>
ExportNode<NodeData> sequant::to_export_tree(const ResultExpr &expr)

Parameters:

expr – The expression to transform

Returns:

The corresponding ExportNode tree